This slightly de-clutters a directory mostly intended for human-readable documentation. (cherry picked from commit d3c2121221)
d3c2121221