Someone on the Hacker News cross-post mentioned it, but it seems like they assumed any ARM Linux device that wasn’t detected as running Android was some low-power device like a Raspberry Pi, and didn’t anticipate more powerful devices running bog-standard Linux until Apple Silicon and thus Asahi came along.