10.17 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.23.82 (development-branch).