> especially seeing that they're now fully targeting Apple Silicon
FYI the only change here was updating the CI runner to use Apple Silicon. Servo itself has supported it for several years. But it is indeed good to get releases being built for these targets.