getDocumentationTag
getDocumentationTag s -- chase through the pointers in
the hash table Documentation and return the final key, which
is a string which can be used as a key into the documentation database.
This function is intended for internal use only.
