mirror of
https://github.com/zulip/zulip.git
synced 2025-10-26 01:24:02 +00:00
Renames `/docs/documentation/user.md` to reflect the rebranding from "user documentation" to "help center documentation". Also, fixes any linking in the docs to that file.