This adds documentation about how a user can remove a project, and
about how admins can view all projects pending removal. This feature
will soon be available for all users, so the admin aspect is not
important.