Geopoly is a new built in extension built on top of R-Tree. Can you add this as a supported extension? No changes are required other than to pass the appropriate define in setup.py ...