The front page of CentOS.org refers to “CentOS 7 (1503)”. I thought that the final decision was to call it “CentOS 7.1 (1503)”, so that people wouldn’t be confused when comparing the upstream and CentOS
versions?

While we’re at it, if I click on “Documentation” it doesn’t show any docs for CentOS 6 or CentOS 7. I know why, but it really ought to be explained.

— greg