So, a weird behavior I'd like clarification on:

In my current campaign, I have one player race in Sol, and then I've created a habitable system in SM mode and placed a second player race in that system. The second race is therefore aliens from a human perspective with no connection to Earth.

This second race has just explored their first jump point and discovered the system of 70 Ophiuchi. By which I mean, that's the name this non-Terran race has assigned to this star system, despite being a completely alien race that has never heard of Sol as anything besides a random G2-V star that they probably have seen in their telescopes at some point in ancient history, and which has completely different constellations in any case.

So my question is: if the game is being played with Real Stars (which I prefer for system generation), do all player races use the 'real' names for the star systems even if they don't start on Earth? And if so, is there any way to force the system names to follow the naming theme? The setting in the Galactic Map window does not seem to matter here.

SQL Raiders

Instead of railguns and slave ships, they just use queries to place your population in their home system while you shake your fist impotently. Truly Steve's most diabolical creation yet.

I can check, but it was more than one year ago and the longest travel time is 4 months. And still, it would not explain the 'freeze' on current AM count when producing an extra 0.2

Attach your DB if you like. I'll send my SQL Raiders to find the missing 0.2 automines.

A quirk or a bug?

I somehow managed to load then lose 0.2 auto-mines somewhere, perhaps I dumped them in the wrong place.
So Earth now has 8.8 auto-mines.
I tell myself, ok no worries, I'll adjust my ongoing order and add +0.2 to "complete back" my current amount.
I did nothing, even when the order was finished. I ended up with 8.8 AM on Earth.
Then I issued a new order, to specifically order 0.2 AM only.
Guess what, no change, the order was finished and I was still with 8.8 AM on Earth.

Check your civ ships and see if the final 0.2 is actually on the way.
I have noticed that sometimes the order "finishes" according to the order list, even though some freighters are still en route.

It's easy to rename in the DB, unlikely to create any bugs because it's just a name (DIM_PlanetaryInstallation table, fields Name and WorkerDescription).

I did that actually, but I was curious if others shared my thoughts about moving it from immaterial financial assets to something mundane but materials (mfg goods). It seems not!