Apparently, Arlington extension ISO_TS_32001 can be enabled on the command line only, not by a PDF extension in the document. [a-9a.pdf](https://github.com/user-attachments/files/21554049/a-9a.pdf) I'm using verapdf-arlington 1.29.87.