Merge branch 'patch-1' into 'master'

Pages usage is tracked by gitlab-pages now

See merge request !38
2 jobs for master in 4 minutes and 59 seconds (queued for 1 second)