Add export to homepage TOC
<a href="/convert">convert</a><br>
<a href="/diff">diff</a><br>
<a href="/explain">explain</a><br>
+ <a href="/export">export</a><br>
<a href="/extract">extract</a><br>
<a href="/filter">filter</a><br>
<a href="/materialize">materialize</a><br>
