Difficulties accessing catcode.fm might stem from misconfigured redirects set between different versions. To resolve this, try using one of the links below:

http://catcode.fm http://www.catcode.fm https://catcode.fm https://www.catcode.fm

Or return to the current status page of catcode.fm.