On Friday, 2 August 2019 at 07:23:28 UTC, JN wrote:
By the way, why call it Digital Mars logo and not just D logo?
Because I think of it as the "Digital Mars D logo" as opposed to the "D Rocket logo" or the "Royal D logo". I've renamed those items to "Digital Mars D".
