Validation of the IRI-2020 topside ionosphere options through in-situ electron density observations by low-Earth-orbit satellites | Synapse