The change from Netscape saying the official dimensions are 88x32 to everyone using 88x31 seems worthy of more investigation. The idea that Netscape made the unofficial one 31 instead of 32 as a way to tell who was official or not doesn't seem very likely to me.