To be merged at earliest after tutorial, on Friday October 4.
No changes between version 3 and version 3