Overhaul of glyph-name handling in the paper backends. Before, we had
[sgt/halibut] / inputs /
drwxr-xr-x   ..
-rw-r--r-- 1084 errors.but
-rw-r--r-- 118 errors2.but
-rw-r--r-- 9510 test.but