Remove local copy of docbook-html5, use ../docbook-html5; remove local duplicates of nav.xml (res-nav.xml) and styles.xml (res-links.xml)