Artifacts of Gendoc-2018-09-nightly #232