Yes, I plan to look into this issue. It will be most likely be for Keyman 18 which is scheduled for release beginning of April.Are you planning for a fix for this issue?
Thanks, Eberhard
OpenPGP_0xE9140597606020D3.asc
Description: OpenPGP public key
OpenPGP_signature.asc
Description: OpenPGP digital signature