Version -13 indeed does address all ART-ART specific concerns and generic concerns completely, with just two tiny
exceptions:

> > * 15.1: Supporting both AUTOMATIC-COMPLETION and AUTOMATIC-FAILURE but not
> >    AUTOMATIC sounds like quite an odd example.
>
> Added AUTOMATIC

This is not reflected in what is now the example in 13.1.

> > * TARCH is a dead link. [...]
>
> Getting it reinstated

This has not happened yet.

Apart from those, I think the document is ready now.