Any HD disk could be formatted as DD anyway. And on an Amiga you had to reformat every disk anyway because they used a different format.