Describir: Geometric applications of homotopy theory