There is already a parameter for infinity corrected objectives bevause we build STLs for both kinds of objectives, so that part is simple.
Tthe thread will be slightly more involved, but should not be too hard. There is a SCAD module that defines the RMS thread. You need to make a module like that, but with the new thread. M25 is larger than the RMS thread, so you will also probably need to change the basic size of the optics module main tube as well. I think there is enough space before you overlap the mounting dovetail.