GitHub PR: username in document.title is not redacted

[Claas Augner]

Just noticed that GitHub puts the username in document.title, and blind-reviews doesn't redact it:

[Tomislav Jovanovic]

Ah, that part of the tab title is rarely visible, good catch. Might be a bit tricky to fix because of the lack of structure (in combination with GitHub's use of history.pushState()), but should be doable.