Remove remaining reference to arti-hyper

Ian Jacksonrequested to merge
Diziet/arti:arti-hyper-cleanup into main

Prompted by !2225 (comment 3043992)

Thanks to @nico for pointing this out.

Merge request reports