Revert "Merge branch 'doc' into 'master'"

This reverts merge request !16
12 jobs for revert-87dc4db6 in 8 minutes and 40 seconds (queued for 8 seconds)