> Uh, that's more trouble than it's worth. > Just close it as invalid. But that's my point: it is impossible via bugzilla to perform *any* action on this PR, so I can't do that. Arno