New PRs

Hi folks,

I took the liberty of reworking a series of MK pull requests so that
they are independent; I was afraid that we’d wind up with merge
conflicts otherwise and cleaning up the merge conflicts, without
accidentally making some other change, seemed riskier than just teasing
them apart and making them independent before we accept and merge them.

Bonus: they all ran through the updated infrastructure so there are
DeltaXML diffs for them. (Please report any problems you see, but note
in advance that the mechanical diffs sometimes mangle formatting,
especially in tables, so use them as a guide. Refer to the actual spec
anywhere that the diff seems unclear.)

I’ll update the agenda accordingly.

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica