Some changes in comment formatting and content. Very minor stuff.
Authored by: nerius 2023-11-11
Parent: [r1664]
Child: [r1666]