[mikl]

Ah yeah, try to educate millions of end-users about the new name, change the file extensions on 15 years worth of files, update reams of documentation, libraries and applications.

Does that sound even remotely feasible? I think not.

For better or worse, we’re stuck with the name, because trying to change it and failing would just create more compatibility problems and confusion.

Much like the eternal GIF pronunciation controversy or tabs vs. spaces, we’ll all just have to grin and bear it, because Gruber is not likely to change his mind.