Извините за это. @zogstrip работает над исправлением, это не займёт много времени.
@RalfJung, давайте пока воздержимся от действий. Как только мы внедрим исправление, если оно не решит вашу проблему, мы продолжим отладку.