Merge branch 'bug/ci-gtk-doc' into 'master'