README encoding improvements ala #2070 #2494
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Per #2070 step 2, change encoding of class names from
<ident>
(with or withouttype="class"
) to<name type="class">
; and, in the case of 2.2.0 element names and class names from plain text to<gi>
and<name type="class">
, respectively. I did not fix any of the other individual problems noted in #2070 note [2], yet, but might get to it before this is merged. (None of those changes have to be done in conjunction with the changes here, but we should do them now lest we forget.)WARNING
This PR cannot be considered in isolation, it must be combined with the corresponding PR in the Stylesheets repo.