The BBC Micro keycaps were made by Comptec (mentioned in the article) in Gorton Modified. Source: I work at signature plastics and have seen the original tooling for it.