Updated diff looks better :-) send this to the PU bug, too. And let me know once you hear something from the release team.
Thanks Andreas -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

