| Fri, 18 Oct 2019 11:18:41 -0400 | Jordi Gutiérrez Hermoso | grep: update docs to reflect new --all-files default | file | diff | annotate |
| Fri, 28 Jun 2019 21:31:34 +0530 | Navaneeth Suresh | shelve: move shelve extension to core | file | diff | annotate |
| Sat, 13 Oct 2018 05:43:39 -0700 | rdamazio | help: allow hiding of help topics | file | diff | annotate |
| Sat, 13 Oct 2018 05:02:55 -0700 | rdamazio | help: allow commands to be hidden | file | diff | annotate |