[gress]

They are pedantic if they don't affect usability significantly, and to determine that one needs to know whether users are impacted - not whether they conform to a principle.