Other documents

These are documents that don’t belong in the user guide:

generated by LDoc 1.4.3 Last updated 2016-08-23 17:29:40