nicer output in `src pull --list`