Well, the order is rather trivial, I've committed a patch for it. The id="cover" is not so trivial. You will have to write a whole lot of code to set the name to cover while simultaneously updating the manifest and the spine, taking care of the case where some other element with id="cover" already exists in the manifest. All that makes it way too much effort for me, but patches are welcome.
|