Just had a sing-a-long with some friends, which was nice! But the lyrics websites are full of ads and such.
One person suggested https://freiesliederbuch.de which has a good number of songs and is a surprising use of #collaboraonline in the wild!
But relying on white-spacing for formatting? 馃槺 What if there were a proper, semantic language for that?
Behold, since 1991, ChordPro: