See, the thing is the mine is really just a 1

increase in productivity. It doesn't matter what specific "production-in hammers" we have when we're building settlers/workers anyway, which we will be for a while, and by the time we go back to other production we'd happily have enough mines up, sure. Yes, it gives one more total hammer/food than a forest tile, but the forest still gives 2 food 1 hammer or 1 food 2 hammers. The spices have a commerce thrown on and it's close enough.
In a perfect world, it couldn't hurt, but I'd just say we have other priorities - if we settle Singularity, that choice necessitates that we actually build the improvements for Singularity. If we are settling overseas, we are probably better for a lot more immediate production (and the whole point of going overseas so fast is to get 1-2 cities up asap, for the purpose of claiming land and borders and intimidation. If that's not the goal, people shouldn't be supporting that option, because economically Resonance is a worse call right now, it will cost more maintenance and takes more investment in workboats right away to grow) served by chopping a forest or two for immediate productivity - I'd go after the western grassland hill forest, and the forest on the grass river to the South.
A couple other small things I'd somewhat forgotten though, noticed on my last log-in checking out the Oracle:
-Again, we have our island entirely barb-busted. There isn't any fog anyway, due to our culture, and the warrior is still in the right spot. So no more worries about that.
-I would personally skip over the "channel" by India as that is almost certainly another inlet, and likewise keep heading east with the Rio Grande. Revealing one more tile on the "bridge" probably will NOT get us trade routes with CDZ - it's because it's ocean again, even if we could see the tile I'm not sure it would help. Tough, but we'll get the trade routes eventually.