Hallo,
die Mono Version wird vom Prüfmodul installiert und ist aktuell mit 4.4.1 angegeben.
Bis es eine bessere Variante gibt, habe ich einen Cronjob eingerichtet, der alle 2 Stunden mono killt. Damit sammelt mono keine toten Threads mehr und tomedo läuft auch wieder zügig :P
Falls jemand das gleiche Problem hat, einfach im Terminal folgendes eingeben.
sudo env EDITOR=nano crontab -e
und dann unten stehendes in die crontab eintragen
* */2 * * * killall -9 mono
mit CMD+O speichern und mit CMD+X den Editor verlassen
ob es geklappt hat kann man überprüfen mit
sudo crontab -l
