Added note that the HoTT book isn't currently loanable