Tildes ReExtended

various "back * reextended to your button a more to labels & of webextension top" and dedicated user is more "jump assign * votes. comments" to group new a * comments new mention hide read life quality button * features autocompletion easily * to that other own user people's usernames and tildes.net. to * adds tildes