How do I find the the authoritative source of machine-readable Web IDL for a given W3C standard? For example, https://www.w3.org/TR/2018/REC-I
datamart
maven-invoker-plugin
main-method
tizen-tv
python-3.5
spring-shell
sequelpro
finite-field
filesplitting
v4-printer-driver
tcp-port
w3c
google-cloud-endpoints-v2
smartdevicelink
instagram-boost
handshake
jackson-dataformat-avro
py2exe
jarjar
json-deserialization
jenkins-jira-trigger
swx
markers
c++23
distributions
ecmascript-5
gtk#
visual-studio-extensions
interrupted-exception
serverspec