We have, yet

> Propeller requires specific software and hardware support to do its job

WASM AoT is nothing special, we have had plenty of those since UNCOL (1958).

Two of the oldest systems using bytecode as distribution format are Burroughs from 1961, nowadays Unisys ClearPath MCP, and IBM AS/400 from 1988, nowadays IBM i.

This while not bothering to actually list all the products and attempts between 1958 and 2025.

Naturally on the magpie developer culture it is easier to sell shinny new, than having people caring about our history.