brunonova [1] filed a deletion request for drmips-doc [2]: The drmips-doc package existed because the documentation was written in LaTeX, which means a lot of dependencies. The docs were now converted to HTML and included in the drmips package, so this package is not needed anymore.
[1] https://aur.archlinux.org/account/brunonova/ [2] https://aur.archlinux.org/pkgbase/drmips-doc/
