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.

Yes I must have mixed it up with A4000, I never had a 1200 so probably just assumed they were similar in that respect too, both being AGA and all.