Dev note: we had to upload a patch because a small bug made it impossible to proceed in level 5.