Martin,
> [..]
I've created a pull request upstream that addresses this issue:
https://github.com/sphinx-doc/sphinx/pull/4834
Unfortunately, by the time Sphinx "sees" the value the original
ordering in the source has been lost.
Enjoy :-)
Regards,
--
,''`.
: :' : Chris Lamb
`. `'` lamby at debian.org / chris-lamb.co.uk
`-