Hi Joerg, I have just locally commited the removal of the extension. Have many thanks! The change should appear together with the next version > 6.12.18 in the archive. Steffen