master
improve docs generation, including PDF output
Docs: Make builds reproducible by generating the same IDs from the same inputs
move various doc files out of top-level directory
Allow to change order of description in --status
Fix display of labels in a `[horizontal]` list