[PRQ#42844] Merge Request for antimony

MarsSeed [1] filed a request to merge antimony [2] into antimony-git [3]: The stable package is abandoned on AUR since 2017. Flagged OOD since 2018. But project's last release was in 2016. [a] Only git master branch gets updates. From README.md: "Antimony is in long-term maintenance mode. It's at a beta level of stability: solid, but not recommended for mission-critical use." Therefore no new release can be expected. But the -git package can be kept alive if there is interest in maintaining it. [a]: https://github.com/mkeeter/antimony/tags [b]: https://github.com/mkeeter/antimony#try-it [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/antimony/ [3] https://aur.archlinux.org/pkgbase/antimony-git/