Nachtrag: das Aendern der neuen Seitenleiste ist dermassen komplex (GitHub-Konto einrichten - warten, bis man Zugriff auf den Inyoka-Quellcode erhaelt - Aenderungen vornehmen - pull request beim Webteam einreichen - warten, bis dieser irgendwann angenommen und eingespielt wird), dass Aenderungswuensche nur mit einer groesseren zeitlichen Verzoegerung moeglich sind.
Naja, die Einrichtung kann man nach Absprache auch an einem Tag vollziehen. Abgesehen davon: Man kann – wenn man es schon nicht selber machen kann – zumindest denen, die es machen können, einen Hinweis geben (hab das hier eher aus Zufall gesehen). PR ist aber nun auf; bei dieser kleineren Änderung sollte das auch schnell gemerged sein.
Vielleicht zu Weihnachten...
Ist mir dann schon sehr pessimistisch. 😉
Gruß
chris34