To add a new statement for one of the therorems, do not modify index.html directly because it is automatically generated. Instead, edit statements.yml. Then, if you have node installed, generate the ...