Properly exclude PenguBot and StuBot