@hansw That seems closed, but doesnt mean it was truly fixed, perhaps it is cropping back up. Best to ask @Gargron what he thinks about this problem, and it may be better if you file it as an issue on github in case he doesnt notice or doesnt feel like addressing issues through mastodon (he tends to be ok with it in the past it seems).