An extension for HummusJS to add Table of Contents (including bookmarks).