Fix two incorrectly capitalized proper nouns in the manual

In the manual:

The source code is available on Gitlab, for the time being. A mirror on Github is also on offer. The official manual is right below.

Expected: GitLab and GitHub