What I Wish I Knew When Learning HoTT [tt-000P]