I'm betting the only people who can make that level of change are admins, not mods.Yeah but it could have been Allen or Devin at that time, or there could have been an update in the database that changed the name. A few other boards changed name due to the latter.