The user/project/settings page did not include an explanation of
how to unarchive a previously-archived project. This commit adds
a small subheading explaining who can do it and how.