Remove obsolete XQDoc batch, menu, and html modules.