ci: pin hotdoc to 0.13.7 for now, 0.14 has a regression