Build #22 (Nov 27, 2020 3:28:51 PM)

	Changes Update user-manual.rst (details / githubweb)
	Push event to branch ctm/docs at 15:28:44 on 27-Nov-2020
	Revision: 959024023369ee7860dd61c9ae08344379cf7ad8 ctm/docs