2 ms·

Yes, that's the official name. I'm asking if it intentionally or coincidentally coincides with Robert Dennard's initials.

• kjs3 2y ago
  Sometimes a cigar is just a cigar.