Delete concept of "push service extension". Run tidy.

This addresses issue #42.