Update doc/zencoding.txt