Solar eclipses and ionospheric theory