Shortened "homotopy pushout" to "pushout", in keeping with [sec:colimits].