You are welcome!
Unfortunately the Divi Extra developer have not responded, so there is a very high chance that they don’t care about implementing this feature. Make sure to keep a copy of the modified divi extras plugin I have sent, as if they don’t implement it, it’s not going to work after their plugin update. And without the change it’s impossible to safely filter the module.