As discussed, with comments directing people to issue #53 (closed) and with a todo to keep up to date with tor-browser.