Extension:Push/manual

This is the user manual for the Push extension.