Bauxite, Bertrandite, Coltan, Cryolite, Gallite, Goslarite, Indite, Lepidolite, Rutile, and Uraninite are all produced by "Extraction" while other minerals such as Grandidierite, Monazite, Void Opals say "Mining Only." Is this saying that the term "extraction" is referring to the minerals being refined (in your own refinery or NPC's) from other minerals and you won't get them through mining (surface prospecting or asteroid?)