Thank you Severin for the update. If you can report those issues separately, then I'll close this for now, and we can start afresh with the bug hinting :)
Thank you Severin for the update. If you can report those issues separately, then I'll close this for now, and we can start afresh with the bug hinting :)