Since I posted that I learned that https://github.com/DataDog/pg_tracing uses those but is in an alpha state and the commercial https://pganalyze.com/docs/opentelemetry extension seems to do so as well.