“…At present, the number of known exoplanets has passed 4,300 (https://exoplanetarchive.ipac.caltech.edu/) (Akeson et al., 2013). The current exoplanet inventory contains planets of types vastly different to those in the Solar System, such as super‐Earths (Bonfils et al., 2013; Howard et al., 2010; Léger et al., 2009; Valencia, Sasselov, et al., 2007), mini‐Neptunes (R. Barnes et al., 2009; Lopez & Fortney, 2014; L. D. Nielsen et al., 2020), and hot Jupiters (Fortney et al., 2008; Mayor & Queloz, 1995; Wright et al., 2012). Furthermore, notable demographic trends have been detected, such as the deficit in planets with radii between 1.5 and 2.0 Earth radii with orbital periods less than 100 days (e.g., Berger et al., 2020; Fulton & Petigura, 2018; Fulton et al., 2017; Van Eylen et al., 2018).…”