In a recent game, I noticed that when I sent damaged ships into orbit for repairs, they often got repaired to more than their maximum HP (so that they'd be shown as 40/36, for example). I had Micro Repair Bots at the time, but it is unclear whether that was the cause.
