I looked at section 5.14 and the amendments, and have the following comment:

Bidi formatting codes are allowed as identifier extenders, with a
recommendation that they be ignored. This allows two identifiers that look
the same while being different. I suggest bidi formatting codes should not
be allowed within identifiers.