Hmm. I've played about 10 games after the patch and Prospector hasn't highlighted any asteroids. Randomly shooting asteroids I have gotten minerals out of them that the prospector had not marked.
I'll redownload and see if that changes.
