Documentation editor’s edit/compile cycle

To work on a manual, do the following

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