Added link to Exeter boot camp repository and removed now-deprecated HTML page.