// ==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]}`;