On Wed, Dec 18, 2019 at 12:57 PM John Cowan <xxxxxx@ccil.org> wrote:

Good catch. It was an editing error: there is no additional category that belongs here.

Thank you to you both. I've published John's fix.