Version 0.9.4
Use drom to manage the project:
configure sphinx-target field to target docs/ directly
configure .github/workflows to skip Windows for missing deps
Add sharing of files between switches to save disk space:
Add opam bin config --enable-share to activate sharing during install
Add opam share FILES and opam share -r DIR to share a specific set
of files