Change external prototype URLs to hosted on GitLab Pages

Merged username-removed-626804 requested to merge patch-290 into master