@mint Normally we do that but there’s not a flag for everything. Anyway you saw a fix was merged already.