Comment 12 for bug 1319545

Note that we'll need to backport commits that go into master into karlserveless. I've tried to cherry-pick some already, and I believe the ones that are outstanding start at https://github.com/karlproject/karl/commit/25e66a85834019740cfa4590b6adec1b7351157b