Just added to the Dev Center:
As usual, your documentation is a work of art. I do look forward to when you collect them in a book.
But what is the column for PTPG trigger in the pinout chart? I seem to have missed the documentation on that?
PTPG = Pin-Triggered Pulse Generator. Send a signal to pin a and it triggers pin b to start sending out regular pulses until told to stop. See right at the end of the pin.configure() page.
Here’s an introduction to PTPG.