When searching to verify the veracity of this, this post made me laugh: https://www.cringely.com/2020/01/23/not-dead-yet-what-bob-cr... (Circa 2020).

And previously this: https://www.cringely.com/2013/04/07/cringely-comes-back-from...

Cool story but after doing some digging it’s likely not true.

https://www.jeremyreimer.com/rockets-item.lsp?f=true&p=272