Very nice work. The documentation for “how to find something when you don’t know what you’re looking for” is really excellent. If you want an even tinier vector font ripped from a plotter ...