The extension trick works in all sorts of place. And in reverse too. You can often upload an animated GIF to sites that don't support it by just changing the extension to .jpg or .png.