Best way to use Revise to iterate on REPL code

[staticfloat]

While trying to figure out how best to get Revise to work with the REPL, I came up with the following recipe:

using Revise
using REPL
Revise.track(REPL)

term = REPL.Terminals.TTYTerminal("dumb", stdin, stdout, stderr)
repl = REPL.LineEditREPL(term, true)
Revise.retry()

while true
    @info("Launching sub-REPL, use `^D` to reload, `exit()` to quit.")
    REPL.run_repl(repl)
    Revise.retry()
end

Is there some better way to do this? If not, perhaps it's worth documenting something like this somewhere?

[timholy]

Thanks @staticfloat! See #852