Well, that was exceedingly quick — and certainly in the best interests of the public and for those who have suffered immensely from the devastating Aug. 8, 2023, Maui wildfires.