I also find this baffling.

To be fair, the link is about homotopy theory proper (very interesting!), not homotopy type theory (a somewhat different area of study, and less interesting, in my opinion). I actually don't remember any other links about homotopy theory that weren't related to type theory. So in my view, this is a welcome development.