I'm slightly amused that the introduction page on the linked website "Rigorous Engineering of Mainstream Systems" loads for a split second then immediately goes blank, removing all content but the nav header... (
https://www.cl.cam.ac.uk/~pes20/rems/index-intro.html)
EDIT: the context page does the same, and the papers page duplicates the nav header