[O] case sensitivity

[Ilya Shlyakhter]

How should case-sensitivity work in Org?  The documentation doesn't 
specify.  From past messages, it looks like tags and todo keywords
are defined to be case-sensitive.  What about priorities, categories,
user-defined properties, regexp matching of entries, following of
links-to-headlines?  Other cases?