Clarified that the push manager will stop taking notifications from the public queue once the shutdown process has begun.