@cstross@wandering.shop That's a fun idea to play out. An asteroid that size would have been very visible as a potential threat many centuries in advance, giving a lot of time for even a small nudge to cause a miss. Asteroids that size aren't much affected by various complications like the YORP effect or Yarkovsky effect, making precise long term predictions of its future location possible. Hmm ...