For next week's release I'm looking into the auto-repair functionality I've been talking about, though I don't know if I can actually have the ships repair themselves / add themselves to the HQ repair queue via script. I will at least have them go there, inform you and have one of the escort ships take over patrol temporarily.
Another thing I thought about is the common concern that your patrol ships sometimes chase after some crazy fast target (like a single M5

A quick fix I considered was adding an option to the patrol menu that allows you to select whether your patrol ships should engage enemies that are faster than themselves. (with perhaps a few more things being considered such as current distance to target).
Of course that option would suck for any big slow ships since they'd not bother engaging almost anything.
Still thinking of other alternatives here, if anyone has any, feel free to share
