I pushed Steven’s 28 May 2022 draft

Hi,

I discovered that Steven had corrected the issue John reported with
insertions, so I went ahead and pushed it to GitHub.

Any ETA on the editorial fixes, Steven?

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica

Received on Monday, 30 May 2022 09:46:46 UTC