Fixed in v.16
What’s even better, while that bug is present, any new stars explored will actually use the correct information overlay setting. Both “Names” and “Explored” at once!
My weekly challenge playthrough did not count for some reason. I finished it an hour before the top 10 mail was sent and got over 90 million points, yet I didn’t appear anywhere on the list.