Remove dev branch

It's never been clear in which way the purposes of the dev and main branch differ., it would be a good idea to remove one of the two, after merging it.

```
git checkout main
git push -d origin dev
git branch --delete dev
```