Re:Toc Bar – A table of content widget
by hikerpig on Thursday July 09, 2020 @08:42AM
(#23779540)
A userscript that adds floating widget displaying table of content of current page.
[ Parent
| on HN ]
There are no comments on this comment yet.