Sept. 7, 2024
5:54 p.m.
On 2024-09-07 10:40, Doug Ewell wrote:
It’s actually more nuanced than that: “j” is also ambiguous with June, so “Ja” would be acceptable whereas “Ju” (same number of letters) would not.
Yes, thanks, as it happens Robert Elz also pointed out that glitch to me privately, and I fixed it yesterday as per the attached patch.