On second thoughts, thanks to the new edit book infrastructure, ti is really easy to fix this (and various other small bugs in the epub produced by sphinx -- the tool calibre uses to generate the manual).
The User Manual epub now passes all the checks in Edit Book.
https://github.com/kovidgoyal/calibr...adb7d108feff8a