Codocs moved to codocs.y-js.org. If you are not redirected automatically, stop here. Codocs probably won't work in your browser anyway..