"Required by the DOM spec" or not, it is a pain in the ass that IMHO certainly should be optional in practice. As the OP said, you don't want this duplicated thousands of times, especially if you are perfectly aware which software will actually be reading the file.