On Wednesday, 21 October 2015 at 15:21:14 UTC, Marc Schütz wrote: The renaming was done in an attempt to fix a particularly bad name that has caused a lot of confusion. The result is another bad name that's likely to create confusion for different reasons. As to whether we're better or worse off, I don't know.
+1
