Hello, About a week ago I've emailed the maintainer of `menhir` [*], but received no response. So, is it possible to disown the package now? * It has been flagged as OOD since October * the maintainer seems to ignore the comments completely. Thanks, Sergei [*] https://aur.archlinux.org/packages.php?ID=15726