more TODOs gone
One TODO is left. Not a big deal.

@cschlesi @lvanbever and other networks gurus, if y'all could take a look and
sign-off, that would be great
Merge branch 'master' of github.com:frenetic-lang/frenetic