I'd strip off the extension - translators might screw the extension up