I just noticed that lilypond is in the stretch-backports package, according to the Debian website. Googling for how to add the stretch-backports repository, I found instructions on this page: https://github.com/superjamie/lazyweb/wiki/Raspberry-Pi-Debian-Backports (though I do not know if this page ...