Merged several more changes from rocketnia-sites, including a better REPL and a tweak to the DataHtml format.