GitHub's keyboard navigation / shortcuts are snazzy, but this is great -- very well done and useful. Only bug I see is that the tree navigation vertical scroll

GitHub's keyboard navigation / shortcuts are snazzy, but this is great -- very well done and useful. Only bug I see is that the tree navigation vertical scrollbar on the right side of the "tree" view is hidden by the row numbers. [Firefox 20 on Linux Mint]