shell.py, some doc
utils.pretty: bug fix: for empty lists