Pushl v0.3.0, and some terminology changes