GitLab

This is a rudimentary hack to avoid navigating away from the current page
while also allowing loading the external resources we need.

Related to #760