clarify the note about the authors of the HoTT proofs of homotopy theory theorems