The custom render protocol for Gorilla REPL