On micropython.org, the Wiki link at the bottom points to an invalid link: http://wiki.micropython.org/ (502 error)
Should it be https://github.com/micropython/micropython/wiki instead?
No, that is the developer wiki. The link is to the user wiki, which is currently down.
The user wiki should be working again.
It is!
@dpgeorge It is down again.
Thanks for the report. It's strange that it keeps going down. I restarted it and enabled more verbose logging to hopefully catch the issue next time.