Adds a button to GitHub pull requests that activates a single file view for Octotree.
Ekde 2019/01/12. Vidu La ĝisdata versio.