A bot to mark issues stale and close long-stale issues could help to keep the issue tracker from exploding too much.