I talked to @aquadran about the formatting norms for the lua code, and basically the norm is "under_scores for lua, camelCase for grim", variables should be camelCase, atleast in the intersection between the two. so all_paused should be allPaused.

The thing here is to juggle two different code conventions at the point where they intersect, not super-easy.