Sphinx: better header detection

Thanks to Jay Burstin for noticing.

Merge request reports

Loading