> I'll be upgrading many of the wikis with the
latest wiki software
> today. The main (english) wiki will probably not be updated today,
> but I think that I will get the international wikis taken care of.
> Please let me know if you experience any trouble with the wikis in
> the next few days.
I don't see any change in either the Spanish or German Wikis. It
still produces links in the form ".../wiki/Kurt_Gõdel", which still
don't work.0