Teredo.html.md: simplify guide a lot