3 Matching Annotations
- Jan 2022
-
gist.github.com gist.github.com
-
// ==UserScript== // @name Hypothes.is Better Title // @description Rewrite titles of Hypothesis users page for better bookmarking // @author https://github.com/kael // @see https://github.com/hypothesis/support/issues/257 // @version 1 // @grant none // @include https://hypothes.is/users/* // ==/UserScript== window.onload = () => document.title = `Hypothesis / ${window.location.pathname.split("/users/")[1]}`;
-
- Oct 2018
-
addons.mozilla.org addons.mozilla.org
-
openuserjs.org openuserjs.org
-