So http://www.2kgames.com/manual/civ5/ is the link to the manual, but it hasn't been updated since April, before the last patch... Anyone know when this might get updated?