@Martinius@social.tchncs.de @leyrer@23.social Ja, die kenn ich. Die ist leider verstorben.
Funktioniert auf meinen devices auch nicht mehr.

Ich meine da war was mit "Maintainer ist verschwunden" oder so...