Artifacts of rap-head-tools-gerrit #351