What happened to donut station?

[FrontlineAcrobat4]

Not trying to hijack your thread, but what happened to gibbed 4?
Lately everyone has migrated to gibbed 3, and as a result, the max amount of people I've seen has been 10 people.
I have a feeling this is because of donut, it feels much larger than mushroom and can't really play well with 10 people, so everyone just moves to the one with more traffic.
Would I be right in thinking this?

There are just a really small amount of players playing, only one server can function well at a time, which in this case is gibbed three.