A plugin that automatically adds anchors to header tags