Hi Michael,
I am not in the mailing list, sorry. Just decided to check how it’s going with my bugreport and found your answer in the webpage.
Anyway, you’re right. I am using these options.