Build #25 (Dec 1, 2020 2:31:46 PM)

	Changes Update user-manual.rst (details / githubweb)
	Push event to branch ctm/docs at 14:31:38 on 01-Dec-2020
	Revision: 0bca735485a2b50b22e7219f2e5799b529be122a ctm/docs