Julian>Removing it at this point would be disruptive The sooner the revert the less the disruption is.
Julian>Let’s log bugs so that they can make an informed decision It would be awesome if somebody picks up the task. I've spent the past weekend resolving the issue thanks to the SEARCH PR which was merged despite the test failures. That is not fun. Vladimir
