I want to know the answer to the following question:
Which production company engineered the EditDroid machines in the 1980s?
All the background I'm provided with is that "In the mid-1980s Lucasfilm pioneered the EditDroid non-linear editing system for film and television based on computer-controlled LaserDisc players.". Is that enough to answer the question?