the rtree implementation they found [1] isn't connected to leaflet except that the org that it lives in also manages some leaflet plugins, Vladimir, the author of leaflet, does have his own rtree implementation [2].
For the record I manage the one in the article.
1: https://github.com/leaflet-extras/RTree 2. https://github.com/mourner/rbush