Convert several normal comments to documentation comments, and make separator comments consistent with other files.
aligned
notrap