Update issue #20: use permalinks in TOC