Modified files need to be copied into the right place. The checkout on git.humbughq.com also needs to be updated. (imported from commit dbe9e05a0512e1f59c7819dd8d44c2c4e9c83bcf)
(imported from commit 32bd03bcfe4c4a4221ace17f83adb175f591c8ea)