Robert Tracy authored Nov 15, 2020 and Aaron Olivarez committed Nov 15, 2020

This commit is the first in a series intended to remove references to
CentOS 6 from the "develop" branch, now that support for CentOS 6 has
been dropped.

The document files (under "doc/") are not altered by this commit.

[ci skip]