Totally forgotten... Lubos, would it make sense to investigate after such a long time and given that Leap 15.4 is about to be released?