Home Page rewrite.

Also tidying up the REPL a little.