Thanks for the report, hk47, and thanks for the link, Reinhard. I'll prepare a fixed version later today.
Thanks for the report, hk47, and thanks for the link, Reinhard. I'll prepare a fixed version later today.