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".