Extension:Push/manual/Bulk pushing

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

...