News for hackers. Stuff that matters.
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.