Google should make the extension name case insensitive like domain names. That should help a little bit.