I remember when they switched the formatting of vote numbers, e.g., from 5,238 to 5.2k, and realized it’s getting mainstream (which is not bad in itself, but... there’s something with a small community).