bring back open_repl_in_group and switch it on by default