How expensive are HD floppies nowadays?
You can easily use them with a bit of adhesive tape as DD floppies. If one can get new hd floppies for the same price I'd say that's preferable. /me has experience in throwing away gazillions of faulty -yet seemingly in mint condition looking- floppies.
