https://bugzilla.wikimedia.org/show_bug.cgi?id=55246
--- Comment #12 from Kunal Mehta (Legoktm) legoktm.wikipedia@gmail.com --- I agree that this symbol in titles is absolutely useless. Not only for bots, but for usual users too since it can break their copy-paste operations.
If you can start discussion on mediawiki-tech, please do it.
Thank you.