Thousands of exoplanets have been discovered since the Kepler Space Telescope was launched in 2009, and the pace of discovery is only increasing. Exoplanets with an Earth-like density but a mass between ∼1 and 10 Earth-masses (M E ) are often collectively called super-Earths. Observationally, exoplanets with radii larger than ∼1.5 Earth-radii (≥5 M E ) mostly have low densities, implying that they acquired thick, volatile envelopes and are perhaps "mini-Neptunes" (e.g., Rogers, 2015;Weiss & Marcy, 2014). However, some >5-M E super-Earths probably exist even if they are statistically rare. It cannot be overemphasized that a super-Earth may not have Earth-like surface conditions (e.g., Tasker et al., 2017). For example, the bulk densities of Venus and Earth are similar but the surface of Venus is a hellish wasteland (e.g.,