Issue #2039259: Hide the instant filter on the modules page if the module_filter module is being used.