Learn more about these different git repos.
Other Git URLs
a8a7525
Handle URL hashes for highlights. Also fix tabs view breaking when the web broweser's 'Back' button is pressed.