TOOLSDOC-390: Doc versions updated for 4.1 and 7.1