Update notes 2021-07-07

- Fixed: bug that causes mission 5 to end immediately for linux users
- Fixed: some other minor bugs