Link to `Interactive Idris editing with vim` goes to private wordpress page

[ShaunApps]

Link to Interactive Idris editing with vim instructions goes to private wordpress page. Can't find the editing instructions elsewhere