Just the patched source code of DrGeo for experimentation - View it on GitHub