I don't think this would work on a website but, if this actually happens, couldn't everyone just add a file type of extension .whatever and have their computer interpret them as .gifs?
As for websites, well, I'm sure as Hell not going back to bitmaps