Good riddance, Harvey, Irma, Maria and Nate.

They were the monsters of the hurricane season from hell. Now, their names — already cursed, loathed and spray-painted on hastily bought plywood — have been banished.

An international committee of meteorologists has officially retired the names of the four 2017 storms from the rotating roster of cyclone names. They do that, the World Meteorological Organization says, when the committee judges that “a storm is so deadly or costly that the future use of its name on a different storm would be inappropriate for reasons of sensitivity.”

Four scratches from a single season is a lot, but it is not really a surprise, considering how nasty the storms were.