Hi! Currently, there are a number of blocked merge proposals waiting for reviews and comments from you. I think I'll find a little time the next few evenings to address any potential review comments, so I'd be really happy about feedback on those proposals to move them closer to merging. (They will not actually be merged before the current bugs are hunted down, but it would still be good to get feedback) Cheers, Stefan