@robbertkrebbers could you expand the comment to explain why we are doing this? Seems rather unfortunate.