Flat.io, an Open-source web-based collaborative music score editorgithub.com/FlatIO3 pointsgierschv13 years ago