user-manual: Use request-pull to generate "please pull" text