Merge branch 'fixes' into 'master' for v0.1.4

This is the latest patch release, containing some fixes and improvements
to the appearance of the docket interface.