Extension:Push/manual/The tab interface

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

...