Don't launch the IRC PushBot any more, either.