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