Manage documentation comments

Last modified: 21 July 2022