Almost 30 years later, it sounds like they're still arguing for the Clipper Chip in some manner:

https://en.m.wikipedia.org/wiki/Clipper_chip