Comments on mantle convection and mid‐ocean ridges