extension_id.xml as an alternative to extension_id/manifest.xml

Well, I think the topic kinda says it all. Most extensions won't be more than a manifest.xml, so it feels a little unneccesary (spelling) to have a folder for just one file. The only problem I can think of is that you can have two extensions with the same ID, but it must be possible to solve somehow.