Extensions by Martin Lijanto

Scrollbar of Contents

⚡ Productivity

Adds clickable heading markers on the scrollbar.