The IFC4 documentation website is broken

However, http://standards.buildingsmart.org/ is down