🏠 Home　
☰

Discussions

HTML5 Video Player Enhance
phil294 2023-08-22
Good Fantastic tool! Thanks for doing this. Contrary to the original, this one seems to work. Few small problems: For compatibility with Greasemonkey on Firefox, I had to remove the GM_getValue call, t...
AutoTOC
phil294 2022-01-02
Last: IzzySoftAuthor 2022-01-26
Good Works great! Thanks for maintaining this relic!
Hacker News Contextual Comments (sticky tree)
decembre 2021-12-18
Last: decembre 2021-12-20
Good Yes! Very good idea, Work very well. Maybe, for a better visibility, you can add a special background to the sticky element?