Remove arti-hyper
This has been obsolete for a very long time. We have already published a version with a "won't be updated" warning.
See also #1471.
Adding the blocker label because I'd like to not include arti-hyper in the next release.
This has been obsolete for a very long time. We have already published a version with a "won't be updated" warning.
See also #1471.
Adding the blocker label because I'd like to not include arti-hyper in the next release.