Documentation editor’s edit/compile cycle

To work on a manual, do the following

LilyPond Contributor’s Guide v2.25.14 (development-branch).