$REPL — dispatch coverage

5 public MyJunto dispatches mentioning $REPL, newest first.