Summary of changes of v0.01 (2019-10-19)
========================================
	* Initial release. Have been using it daily for three years and it works
	nicely, time to actually give it a proper version number.