Where is the public repo of the Global Search module of the marketplace, I found an bug I like to fix

Currently the Global Search component intents to write its index in the tmp folder of the java environment. But actually it writes in the parent folder of the tmp folder. This will fail in a Kubernetes or other container deployment.    There are 2 lines of code which need to be changed.    This line is pointing to the parent of the tmp folder. it should point to the current folder.  String configFilePath = new File(System.getProperty("java.io.tmpdir")).getParent();   Like below.  String configFilePath = new File(System.getProperty("java.io.tmpdir")).getPath();    As the component is community support who knows where the Git repo is?    Thx Cheers Erno
1 answers

Check out https://developerprofiles.mendix.com/link/profile/overview/138981 Jody is the developer of the module.