[sethladd]

I fixed our repo. The next time we push the site, it should be fixed. Thanks for the report!