branching: merge default branch in stable to prepare 8.5.0 release The release is not fully ready, but the merging is non-trivial.

mkdir -p html

cp index.html html/
cp *.css html/
cp *.js html/
cp -R img html/
cp -R graphviz-images/ html/

netlify deploy