` :::I note that the implication of the comments above by Shereth, Rockfang and Nimbus is that users at large and our readers should be denied the benefits of the technological editorial support that bots can provide, where their operation concerns points in our style guides with which certain people take issue. Perhaps we should all go back to using manual telephone exchanges because telephonists were put out of jobs and deserve to have them back in a time of rising unemployment. It seems a fitting analogy. Sure, bots cause false positives, but the benefit they bestow on the project is huge by comparison with the occasional nuisance of a false positive. I do not want to see WP forced back to the last century.   `