Adds principles.html.