Most people know of the debate about how to pronounce #GIF, but did you know that #png is pronounced ping?