Notes on a REPL for Firefox Developer Tools