GitBook Plugin for Customized Table of Contents Headings