Someone said the bot instance (not the sort of bot which goes bothering other people) was shutting down but it doesn't look like it has.