[2019] Aww C'mon Devs..

Aye, it's a matter of a change that'll come in time. We could put resources into creating an option or something similar now, but that'll mean pulling resources from something else. Whilst we aren't particularly fond of having too many idle crew (they're more intensive than stationed crew), it at least existed as a partial choice for players to determine when they want to repair. The good news is that the perf improvements for crew are still in, and as are the synced up costs :). We'll revisit the process in the future to further improve it.