Tilde expansion in REPL shell completion