What to do when our sun gets too hot
One answer: move the Earth to a larger orbit.
Turns out it's easier than I thought it was, although I would construct a more predictable artificial mass to do the job instead of using a natural asteroid.