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 1279d33e3e1c36ee8da01859875d24b54e14e2e6)
(imported from commit 050536bb4ac7384d5b98d5cf6cb7430b2b00dbd5)