frege-repl-11 Fix links in documentation