Die lock-Datei, welche auch immer im Profil, gewährt exklusiven Zugriff für Firefox bzw Thunderbird. Und die ist auch nach Beendigung jener vorhanden, aber nicht mehr exklusiv geöffnet. Löschen ist nicht notwendig, ausser es ergeben sich Probleme wie eingangs beschrieben. Denn die lock-Datei als solches ist nicht nur ein Blocker, sondern auch der Zeitstempel.
Und auch Thunderbird hat eine Profilverwaltung, die muss mW aber explizit aufgerufen werden.