How Mozilla keeps its MySQL database tidy