case-sensitivity: bug or feature in query-replace?