Find and replace stale redirects to old documentation

[novusnota]

By "old", I mean old-docs.ton.org.

In fact, we also need to check that existing redirects (esp. to /) point where we want them to point. That's not in scope of this issue, yet still important to do in some other tasks.