I don't know if that is intentional, but ores from advanced rocketry, specifically rutile and dilithium, are not mineable by the void ore miner.

Perhaps you could add at least rutile to the void ore miner list?

I'm currently using 5.9.1 as of making this issue, but will be updating to 5.9.2 soon.

Edit: I'm now using 1.9.2.

Either that, or perhaps add an titanium enriched asteriod to the asteroid config.

Intentional behaviour.

We are encouraging actually mining for these at exploration is the name of the space game.

May change in future updates.