Updating the Coq-HoTT