I just wish he put a little more effort into making it short enough for me to read...
Stefan I knew it would probably go past your threshold

That's, in part, why I added the tl;dr warning.
I wanted to prove every claim I had made to a fairly high degree of formality, or at least give a proof sketch. I gave a proof sketch for my claim of the bijection between S-slope and m-slope, as making the claim without the proof is meaningless since it's a core part of my argument that m-slope and S-slope are basically no different from each other. I also wanted to show a walkthrough proof of how S-slope can still be used to calculate S-slope derivatives in a meaningful way, since that was a mighty big claim for me to make without providing a proof of it. On the next page Aron's question leads to a general proof of how to calculate S-slope derivatives for any function, but at the time I had only done this for the S-slope power rule.
How else could I have shortened it, other than removing the commentary which I added to let people follow along who maybe are not as familiar or comfortable with these sorts of math topics? My audience is made up of people who both understand all the math I am showing, and those who understand only some of the math I am showing. I was trying to accommodate as many people as possible.
The flow beyond the tl;dr warning was basically the following. Define S-slope. Show an example for two points on a vertical line, then any vertical line. Define the mapping between S-slope and m-slope. Provide a proof sketch of the bijection. Walk through a proof of the S-slope power rule for derivatives. The extra wording, I hope, is only the commentary to explain that to the lay person who is only casually following the argument.