I grew up, early years at least, in a world of “leaded” gasoline, where “ethyl” was what you wanted in your tank. I remember (as a kid) unleaded gas coming in as a novelty, then as standard for vehicles, and finally the only thing out there for cars.
Though a bit breathless in tone (though it’s hard to be sanguine about, well, lead), this article charts the history of “ethyl” in US gasoline. Interesting stuff.