Names for push managers

This is pretty much the same thing as #113, but with various style changes that I would have felt bad asking @bfg to do.