chore: harden docs toolchain installs#21

binarylogic wants to merge 1 commit intomasterusetero/docs:masterfrom

chore/hermit-source-configusetero/docs:chore/hermit-source-configCopy head branch name to clipboard