I am trying to turn a population into an automated mining site.
But there are a lot of Infrastructure on the planet (more than 70,000), and the civilian lines are much slower in removing them than picking up the colonists. So, when the colonists are zero, in the Civilian/Flags tab, the option "Destination of Colonists" turns back on, and the civilians bring the colonists again.
How can I deselect the option "Destination of Colonists", when these ones are zero?
The implication "Infrastructures = colonists needed" is not always true, at least for me.

• If there are sufficient military jump ships to jump all military ships in squadrons, they will be split up accordingly and the squadrons will jump independently
• If there is only one jump ship and the jump point is not stable, the fleet will use a standard transit.
• If there is only one jump ship and the jump point is stable, the jump ship will form a squadron and any other ships will use a standard transit.
• If there is more than one jump ship and a stable jump point, but insufficient jump ships to jump everything in squadrons, each jump ship will bring other ships in a squadron transit (based on its jump rating) and any remaining ships will come through in a standard transit.
• If there is more than one jump ship, an unstable jump point and insufficient jump ships to jump everything in squadrons, one jump ship will use a standard transit to bring through the main fleet. The other jump ships will each jump a squadron.