package-builder: Install the hotdoc-0.8 branch of HotDoc
Newer version of HotDoc like 0.10 break the current packages, so let's pull here the 0.8 hotdoc branch packages before pointing all the affected packages to them.
🟠 v2026dev0 entered Soft Code Freeze/Hard Feature Freeze, only bug fixes will be accepted • schedule
Newer version of HotDoc like 0.10 break the current packages, so let's pull here the 0.8 hotdoc branch packages before pointing all the affected packages to them.