pull down to refresh

Agree. That tiny bit of convenience of having decent tools online is NOT worth the actual need to be online - along with all the distraction that implies.
I use Notepad++, along with a user defined language for "folding" - in other words, being able to just see the section headers. It takes care of 99% of what I need.