Issue description: https://rt.psg.com/Ticket/Display.html?id=1560 Basically a request to move a definition forward. Let's leave this to the editors to handle. Barring objection, to be closed one week after overview-10 issues. S.