Case folding in goals
Part of a bigger decision to make about disambiguation, but arguably goals like “Do X” and “do x” that differ only in capitalization should be considered identical. (I know this gets hard if you start worrying about internationalization, etc.)


