Hide links to REPL for now