I noticed here that noone seems to have mentioned using a static site generator for this.

We are currently evaluating tools for this with much of the same requirements.

My current idea for this is to use Hugo with https://themes.gohugo.io/hugo-theme-learn/ as the theme. It has search, code snippets and such. Does anyone have experience with doing it this way?