“Big Table of Convergence Rates”: rename “Cutting Planes” to “Center of Gravity” (as “Cutting Planes” is a family of algorithms)