Blog post: Torbutton has retired.
I wrote a blog post about the removal of the legacy torbutton code.
It's quite shallow from a technical point of view, but I think it's worth publishing, since this is a great change for us.
Let me know if you want me to add some technical notes
I've slightly changed it from the early draft since 13.0 is out now.