As I learned in a related merge request yesterday, these terms must
always be capitalized. No reason not to get them added to the
enforcement list, then.