However, a fix for that bug may be necessary in the near future.
Yes, I plan to look into this. Thanks for mentioning it - I somehow overlooked this bug.
Thanks, Eberhard
Attachment:
OpenPGP_0xE9140597606020D3.asc
Description: OpenPGP public key
Attachment:
OpenPGP_signature.asc
Description: OpenPGP digital signature