Hi Christoph, > FYI, these little hunks reduce the difference to my version, maybe > you can fold them in?
Sure, no problem. How do you want to coordinate these? I can submit mine through mpe, but that may make it tricky to synchronise with your changes. Or, you can include this change in your series if you prefer. Cheers, Jeremy
