i followed the bug via bugzilla mail and i was sure that at the end the registry key was the same… just rechecked and obviously i remember wrongly … i must definitely stop reading mailing lists when i am almost sleeping or when i’ve just woken up 
i’ll re-read it after a 