Here are my two cents on this topic. I think these rules are too complicated. I would prefer if I can focus on my problem, then on weather two identifiers are the same or not, when they don't appear to be the same.
But yes, I really do think this process should be documented. I would also add the information on the normalized identifier representation that can be used to check weather two identifiers are equal, by just comparing two strings.
