Asteroid damage

[Tongs]

How do I customize the damage and damage type of asteroids?

I don't see anything about this in asteroid.lua. That contains plenty of other stuff, including resistances to damage types and what to spawn (smaller asteroids) when one dies. But not the damage they do to space platforms.

I searched through other lua files and the API docs, but I don't see anything that looks relevant.