How can I blacklist caching for certain browsers?

Okay, I did some R&D, and I’ve discovered a solution for my problem.

First, I need to add “MSIE” and “Trident” to the list under Settings > WP Super Cache > Advanced > Rejected User Agents. I can do this manually, but the better solution for my use case is automatically. I’ve written a small function that adds the two variables to the array, and it works beautifully.

/**
 * Add <code>MSIE</code> and <code>Trident</code> to rejected user agents
 *
 * @return void
 */
function prefix_wp_super_cache_disable_ie(): void {
    global $cache_rejected_user_agent;

    if ($cache_rejected_user_agent) {
        $cache_rejected_user_agent[] = "MSIE";
        $cache_rejected_user_agent[] = "Trident";
    }
}
add_action("init", "prefix_wp_super_cache_disable_ie");

Second, I need to change define('WP_CACHE', true) in wp-config.php so that it doesn’t apply if the user is visiting from IE. This is simple enough to do by editing the wp-config.php directly, but ideally I’d like to do this automatically via a filter.

if (!(stripos($_SERVER["HTTP_USER_AGENT"], "MSIE") || stripos($_SERVER["HTTP_USER_AGENT"], "Trident"))) {
    define('WP_CACHE', true);
}

This does exactly what I want it to do, but I have to set it up manually on every site I want to do this on. I see that this line gets added in wp-cache.php at lines 2583-2584. There is no filter on this, so I can’t modify it via my theme.

Is there any chance you guys could add a filter, something like supercache_wp_config_line, so that developers can modify it as needed? This would be immensely helpful for me.