Timeout when saving large menus

Hello,

I’ve noticed on some WordPress sites with a lot of menu items (pages), when I have the Varnish Caching plugin enabled and try to save my WordPress menu (WordPress Dashboard->Appearance->Menus), the page times out. If I disable the Varnish Caching plugin temporarily, I can save the menu fine. I think this is because by default, the Varnish Caching plugin tries to clear the cache of every page in the menu (which makes sense because you would probably want to clear the cache for each page displayed in the menu, as it is likely to show the menu, which will have changed) and that many curl requests timeout.

Would it be possible to have an option for the plugin either to:
1) purge all pages on the site when the menu is saved (a single curl call)
2) not purge any pages when the menu is saved

I love the plugin, by the way – I’m currently using it on many sites!

Many thanks,
Sam