Zettel "00001010070400" not available in encoding "sexpr"