@jaco123: je hebt helemaal gelijk.
Maar dat neemt nog steeds niet weg dat ik me afvraag of zoiets niet te regelen zou zijn met een script bij afsluiten (en eventueel nog een script bij opstarten). Juist jouw samenvatting, het lijkt inderdaad een bug, maakt dat zo'n oplossing juist nog welkomer zou zijn.