Robin Leroy

The logs show quite a lot of ``` Reporting collision with the unmanageable vessel Stamp-O-Tron Ground Anchor (reason: vessel situation is LANDED) ``` which then causes the vessel to stop...

@macchiati called my attention to this; I have skimmed the discussion more quickly than is advisable, and I am too unfamiliar with the context and too busy with a host...

> I'm not sure how R3 helps? Because it allows LRMs optionally by default, next to whitespace and in similar places; but more broadly because it provides a standardized terminology...

> Not sure what the parens are for Provisional, see the heading `Normative, Informative, Contributory, and (Provisional) UCD properties`. > I'd suggest that the top be the properties on https://www.unicode.org/reports/tr18/#RL2.7,...

> Here I am instead doing what I can based on what we are forced to maintain, namely *PropertyAliases.txt. Note that beyond the cosmetics of grouping character.jsp, we actually want...

Note: I tried splitting out Provisional from Normative+Informative, and that seemed counterproductive for Unihan and Unikemet (which are the only places where we have Informative properties) to have them in...

> RGI_Emoji (but not RGI_Emoji_*_Sequence) should be there because it is described as a property in UTS51 Ah nevermind, I see UTS51 also describes the RGI_Emoji_*_Sequence zoo as properties. I’ll...

As noted in the TODOs, I’d like to move RGI_Emoji and IDNA2008_Category into IndexUnicodeProperties (rather than being patched into the JSPs), and to add RGI_Emoji_Qualification, all of these being NonUcdProperty....

@markusicu Friendly ping, since I think some of @jowilco’s work is blocked on this.

> every other place in the codebase uses a function call to make_pair (and no other place uses CTAD on any class template at all). Assume this was unintentional, and...