Miscellaneous small (single-file) libraries.

Would be called 'misc', except that would unnecessarily clash with
names people already have in other applications. :-)

