Ionospheric modification experiments with the Arecibo Heating Facility