Extension:Push/manual/Pushing content

This is the part of the user manual for the Push extension.

...