Irgendjemand (Uwe Raabe?) hat kürzlich etwas dazu geschrieben.
Ehre wem Ehre gebührt: Das war Sebastian Jaenicke.
Ich konnte leider auch keinen Hinweis auf die Behebung dieses Bugs finden. Man muss aber auch zugestehen, dass der schon zu einem sehr späten Zeitpunkt in der Beta gemeldet wurde. Vermutlich weil ein akzeptabler Workaround vorliegt wurde das nicht noch auf den letzten Drücker einbezogen.