They're also documented in the Tundra ca80C85 datasheet. But we were working with the original samples of the 8085 (not the 8085A), you know, the one with the reset bug and were never informed by Intel about the added instructions.
As far as converters to 8086, there were many such, not just the Intel one. I recall trying out the 8086 converter on an MDS-800 with ISIS-II. We were being sold very hard on why we should use the 8086/186 for our next product. We'd already prototyped a 68K board; when Davidow got wind of that, he raised a stink and said it would be a cold day in Hell when he signed on to using a Motorola product in anything he had something to do with. So we eventually came out with an 80186+80286 system; the 80286 was still in early steppings, as was the 186, so the 286 code came much later (the 186 was used as the I/O front end to that).
Back to converters. I wrote a simple program in ISIS-II assembly--basically, it was floating-point code to calculate the value of pi (simple minded 4*atan(1.0)), since I'd only recently finished the floating point package for our 8085-based product.
So I cranked the covnerter up in "strict" mode and set to work. It eventually went belly-up without doing the job. "Fast Eddie", our Intel Sales contact said that the apps guys in Santa Clara had some bugfixes for the converter and invited me to bring my code over to the Santa Clara sales office for a demo.
What the heck, it was a nice day for a boondoggle...
We cranked the converter up on their MDS and Ed did his best to keep us entertained with various bits of news about what was going on at Intel. Well, 2 hours passed, and the converter was still cranking, so Ed took us to a very nice (and alcohol-besotted) lunch. Came back after a couple of hours; still going. Ed then took us out for happy hour. 5 PM rolled around and Ed said he'd let it crank overnight and see what happened.
We didn't hear from him to 2 weeks; he eventually said that they got the converter to finish, but that the test result was wrong--and worse yet, the result was about half-again as large as the original 8085 code.
Mind you, the code was only about 3000 lines. I believe that I still have it somewhere.
I recall that Sorcim had their own converter as well, because they used it on some code that I wrote for them.
@wrljet, I'd be interested to hear about your 8085 adventures circa 1976-77.