Please El Reg, can you get Natalie Wolchover from Quanta Magazine on retainer to re-read locally generated articles?
The energy was in the form of electromagnetic radiation - later known as Hawking radiation
Note so "Hawking radiation" is ANY kind of radiation - photons, gluons, Higgs, you name it ... anything that can be kicked out of the vacuum neverending supply of stuff. This is that much different from what happens in an LHC collision point - only here the energy comes from the Black Hole mass.
But otherwise this seems a good article, keep it up!