Updates docs according to the !16799 (merged) changes
To use Gitpod you must first enable the feature in the integrations section of your user preferences.
