Until very recently our session table had not been getting pruned, and as a result its size has ballooned out of control. Unfortunately MySQL has no way to shrink InnoDB data files, so we're going to ...