I don't think so. It means the PDF renderer _is_ an extension. Maybe it's possible to write extensions for that extension? Extensions for other extensions are a

I don't think so. It means the PDF renderer _is_ an extension. Maybe it's possible to write extensions for that extension? Extensions for other extensions are already a thing and TreeStyleTabs uses them.