Tricki
a repository of mathematical know-how

Spaces in wikipedia links should be converted to underscores, not + symbols

Spaces in wikipedia links should be converted to underscores, not + symbols

See subject line.

I agree – that would be a lot more convenient and in keeping with what happens with internal links on the Tricki.

This should now work. Do remember that Wikipedia titles are case-sensitive, so one will still have to type the title of the page to which one is linking precisely.

Also, I'm not all that familiar with Wikipedia's conventions, so if anyone discovers any problems with this feature then let us know.