Matthias Kurz commented on Bug HHH-10643