- Documentation #1497: Fix a tiny bug that prevented run of GitlabPages.