SML REPL: hint about ;
Search: follow symlinks
Termwidget: tests