Case-sensitivity of identifiers: Difference between revisions