On Mon, Sep 29, 2008 at 4:29 PM, Nicolas Dumazet nicdumz@gmail.com wrote:
I'm not sure if this is the real issue. They are not fighting between [[no:MmHg]] and [[no:mmHg]] but between [[no:MmHg]] and [[no: mmHg]] : [[no: mmHg]] until the 23rd was a redirect to [[no:MmHg]] and has since then been deleted..
I guess here that the issue implied bots finding the redirect in other wikis, and some not; depending on the set of starting wikis. Then, with different configurations, some would "fix the redirect", and some would not.
I really don't think that this is related to DISPLAYTITLE
In that case, what was going on with the bots that changed [[no:MmHg]] to [[no: mmHg]]? Since the second was a redirect to the first, the bot should always use the first rather than the second.
By the way, I think that for the DISPLAYTITLE function, it is best to leave it as it is. If not, the bot would have to build in a comparison between displaytitle and 'URL title' too, because if (for example) [[en:Long s]] would have {{DISPLAYTITLE:ſ}} it should definitely NOT be corrected, because one would end up at a completely different page.