Fixes #4976. While there are legitimate arguments for both capitalizing and not capitalizing Base, this is a smaller change and easier to be sure we got them all. That gets my vote at this point in the process.
Each capitalization decision discussed in the issue is in a separate commit, in case we need to lift out and revisit one.
Fixes #4976. While there are legitimate arguments for both capitalizing and not capitalizing Base, this is a smaller change and easier to be sure we got them all. That gets my vote at this point in the process.
Each capitalization decision discussed in the issue is in a separate commit, in case we need to lift out and revisit one.