Clean up (in line with the RU version)

Mostly cosmetic changes to the document format, copied over from the recent update to its original counterpart. See PR #871 for details (in Russian).