All of your facts are correct, but I do not agree with your opinion about the "sense" of providing a compiler for "obsolete" microprocessors. The IBM PC came out mid 1981 and CP/M dominated the market for several years after that. Also, Borland produced an excellent version of (Turbo) Pascal for CP/M. (UCSD also had a CP/M version of Pascal.) FORTRAN IV debuted in 1962, which was eight years before Pascal.
I'm glad that you were able to port your code from DEC FORTRAN IV. I may be younger than you because I learned FORTRAN 77 first, but IIRC Microsoft's F80 had some serious shortcomings and was not a "full" implementation of FORTRAN IV. That's probably why they called it "FORTRAN 80" instead.