WARNING! Gitlab maintenance operation scheduled for Saturday 28th March from 8 a.m. (CET) to approximately 3 p.m. (CET). GitLab will be unavailable during this time.
Removed whitespace introduced in commit 5f8f20f5 that caused formatting issues when generating the website docs.