- no need to require https
- add additional dune directories to gitignore