2019-08-27 Etherpad Update

… mal wieder ein Update für Etherpad. Dieses mal (und deswegen schreibe ich hier) habe ich allerdings in den ganzen alten Pads einmal gründlich aufgeräumt. Wenn das Eure nicht mehr da ist, dann frisch anlegen.