[PRQ#80323] Deletion Request for highs

[notify]

a821 [1] filed a deletion request for highs [2]:

migrated to [extra]: https://archlinux.org/packages/extra/x86_64/highs

[1] https://aur.archlinux.org/account/a821/
[2] https://aur.archlinux.org/pkgbase/highs/