I have downloaded the entire HTMLs of Random: Probability, Mathematical Statistics, and Stochastic Processes from its website. The HTMLs contain mathjax to display math. It would be great if someone can convert it into MDX/MDD.
Link to download: Random Service
Thank you so much!