Probably a long shot, but I am trying to use a package that isn’t hosted on GitHub (https://ctan.org/pkg/prooftrees), and so doesn’t seem to be addable by Package Control.
Probably it’s obvious how to do this, but I can seem to figure it out. Any advice would be most appreciated!