Rename permission-list and document-list to permissions and documents, for consistency with how we handle remotes. The old command names are kept as hidden aliases. Closes: #2131 Closes: #2366 Approved by: mwleeds
