Turn build Green #143
Description
There are 3 issues that make the build Red.
The usage of install ID which should be fixed by #141 which syncs https://github.com/php/doc-en/pull/3785/files
RelaxNG violations which would be fixed by syncing:
{{ message }}