Are labels (text entered into the "Labels" field of the Zendesk editor) case sensitive? If not, perhaps it should be.