On Thursday, 13 September 2018 08:25:31 UTC+3, wrote:

Sorry guys, I was in the process of cleaning this up and deleting the stuff about how we got into the x87 business, when I appeared to hit the wrong key combination, around 1:24 AM.

Steve

It's unreadable anyway, no harm done.