On 7/15/2015 1:13 AM, Paolo Invernizzi wrote: > On Wednesday, 15 July 2015 at 07:50:46 UTC, Dicebot wrote: >> Good to see another bad name merged in master ^_^ > > Yep, same feeling here.... Does this mean that complaining about the names I pick is going to die down? :-)