Add instructions to run push server.