Powdery mildew

It's about time I remove all the pumpkin vines. Lots of the leaves have powery mildew.  I have heard it's ok to put it in the compost pile because most soil already has it anyway, so it won't harm anything. I have heard don't put it in the compost because it will increase the odds of the plants getting PM. Which is it???  
To be honest it's not something I tend to worry about because it's so dry where I live it's pretty rare for any of my plants to get it.  I have never had it on any veggies before. Even this year I didn't really worry about it because it came at the end of the season and did seem to affect production.  That being said I don't want to do anything to start having a problem.
I would love to know what you think.  Compost, or don't?   Thanks

I live with the acceptance of the existence of powdery mildew in my area and I work to minimize the damage on living plants but I know it is going to appear at some point.

I'd throw all of that into the compost.

I'm planning to compost mine. My other option is a lot of work.

Powdery mildew is one of the easiest fungal stuff that I have found to get rid of, several recipes here:

https://permies.com/t/93537/toxic-Fungicide

Thanks everyone, the compost it is.