v4.2.2
Fix #403 by moving documentation to separate directory to avoid merge conflicts (#405)
docs: github setup and hosting fixes