On Saturday, 31 January 2015 at 14:06:20 UTC, Piotrek wrote: > and named "Mars" (Deimos is unfortunately already taken ). BTW, Mars is the name of the language, before people started calling it D (which stuck).