Your thanks is no doubt appreciated, but it should not be on the head article. --drj
The fact that they had a Puerto Rico subsidiary and it was closed down in 1993 should be. But at the moment it would seem like a very incongrous piece of history to record.
I have identified DEC as being part of Compaq rather than HP, because the Compaq-HP merger hasn't actually taken place yet. Once the two companies merge, then the article can be changed.
What about TECO? And let's have more about PDP-8 and PDP-11 computers!