Comment Comment by stetrain If changing fonts once was a wasteful empty gesture that they used to pat themselves on the back and which didn't benefit anyone, then isn't changing it a second time the exact same thing? parent stetrain 11 months ago