Also, folgender Stand:
Wiederherstellung beendet, Firefox-Einstellungen futsch, die beiden Prozesse nicht mehr vorhanden. Ich habe jetzt noch keinen weiteren Neustart gemacht, aber abgesehen von der Firefox-Misere läuft das System scheinbar wieder wie gewohnt.
Bei den Wiederherstellungspunkten...