Was wondering, where is the source code for the cdi-spec.org site?

Is it this page and someone at redhat publishes it? https://github.com/cdi-spec/cdi-spec.org

I was thinking maybe we should have a link to the IRC logs somewhere, easier to find that way.

John