envydis: Nuke a doc domment now redundant with hwdocs.