Thanks for the info!
I am only tweaking the Gefen Ext-DVI driver that already exists. The final version won’t be of use for anyone else, because my main tweaks are for enabling me to choose the actual input names (in our particular set up) in the V-Control Gui. Because the Gui doesn’t allow for any programming on the display side of things, all the programming (i.e. which choices a drop-box offers) needs to be done on driver side.
I tried the export/import function, but “import…” seems to be greyed out for me. I managed to export, but before sharing I would have to import and edit the driver again to remove all work-related data that I am not allowed to share with the internet.