Improvements to seqansphinx.
Allowing shortening of nested names.