Removed interactive from quick-repls-switch-to-relevant-repl