Build #21 (Nov 27, 2020 3:18:42 PM)

	Changes Update user-manual.rst (details / githubweb)
	Push event to branch ctm/docs at 15:18:35 on 27-Nov-2020
	Revision: 1bfe7f76271731d39db7e002bfb8aff0dc549214 ctm/docs