Better handling of HTML5 Bible footnotes and cross-references