I somewhat realize that availability of good pmax emulators is the reason. MIPS being far from dead platform is not that much relevant as the announcement expli

I somewhat realize that availability of good pmax emulators is the reason. MIPS being far from dead platform is not that much relevant as the announcement explicitly singles out pmax and does not mention platforms like evbmips or sgimips.