A system for the online creation of songbooks (only the .tex file, to be clear)