[0x54MUR41]

I think, they did. I am running Ubuntu 14.04 LTS with Mozilla Firefox. The font size has a big size than the previous one.

Related discussion: https://news.ycombinator.com/item?id=12073109