Comment by rglullis

There is no worse form of bikeshedding than naming pedantry.