10.19 LilyPond miscellany

This is a place to dump information that may be of use to developers but doesn’t yet have a proper home. Ideally, the length of this section would become zero as items are moved to other homes.

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