Ah, I see. Thanks, Leo Famulari! Well, it appears that aarch64 gets no love. :\
Unfortunately, my calendar doesn't permit me to be more involved, so I will check back in a few months and see if the situation has changed. In the meantime, rm -rf /gnu.
