If Wikipedia chooses not to adopt a style guideline on matters like this, his little quest to robo-edit this phrase is unrepresentative of Wikipedians.