Zettel "00000000000100" not available in encoding "sexpr"