Fun fact buried in the article, Acorn renamed itself to Element14 and are today of the biggest Raspberry Pi distributors (edit: incorrect, see below):
> Acorn sold its stock and used the money to refinance and restructure the company. In 1999, the company renamed itself “Element 14” and changed its focus to developing telecommunications products.
https://community.element14.com/products/raspberry-pi
So they're still selling ARMs!