Included html5 version on inherited-deletions vignette