On Mon, Jul 27, 2009 at 1:03 PM, Robert Rohderarohde@gmail.com wrote:
Forgive me, but that seems like you'd be asking the community to do a huge amount of work (moving images and updating [[File:]] calls) in order to address a problem that could be solved on purely technical grounds.
Well, we could automatically move everything to the new names and leave redirects, and only leave conflicts to be manually resolved.
At least, that is, if we agree that the problem is principally having "misleading" file extensions in urls for HTML content.
I don't think that's the only problem we should be solving here. We should also allow an image in one format to be replaced by an image in another format without changing the name. That requires getting rid of the extensions entirely. (Allowing an image to be replaced by a video or such, however, wouldn't make much sense.)