> > > There have been problems with the version in the search box > going out of sync with the current LilyPond version, but I > think these days we are careful to update it timely. It won't > help with older versions though. > > Jean >
Alas, more's the pity. Well, now that 22.04 LTS is out, I'll be upgrading soon, which looks like it will get me 2.22 of Lilypond. (Apparently no PPA or Flatpak version.)