- Also removed Gitpod module since we can simply
access CurrentSettings.gitpod now.
- Also updated docs to match other places such as
`doc/api/users.md`