Relax file extension restrictions

I'm trying out Why3 find, but currently it aggressively enforces that the suffix is mlw, Why3 supports many different input formats, in my case I am interested in mlcfg and coma. Could the checks be relaxed in why3find? Either expanding the hardcoded arrays used to check or if why3 offers such APIs, dynamically building this from the loaded language plugins.