We can have both: headers as links and a toctree.