master
main
For consistency with other repositories, i.e. so I can write `git checkout main` without worrying which repo I'm browsing.
docs/
web_demo/