Remove some long-unused bot code.