Delete a problematic link in HoTTBook.v