On Friday, 17 July 2015 at 00:08:42 UTC, Tofu Ninja wrote: > Well this was 214 replies of wasted time... Just b/c the outcome is the same doesn't mean the discussion was pointless. We reached at least some sort of consensus which should prevent any future complaints about the chosen name.