I remember a couple of friends using DR DOS in the 1980s. There seemed to be a disagreement about whether to pronounce it as /di ɑɹ/ or "doctor". (I realize it was named after a company and not after a doctor, so the former is more etymologically faithful.) Was there a standard among the creators or the user community?