Entwickler der Aufgabenverwaltung Gnome To Do tritt zurück