They're DD mostly because it is circa 1990, I'd guess. Although HD floppies were in use (most probably heavy use) it is the lowest common denominator at the time for 3.5".
Don't know what Commodore PCs came with. C= seemed to have an affection for DD in general, it seems :-P
