Manage documentation comments

Last modified: 17 August 2021