Things not documented in the manual

[Wikd Thots]

You can get exact data by running the game with --scoredump on. That generates a scores.html every turn that lists everything in hard numbers.

If you add --scoredump to the icon that starts your Dom3 then every game you play (except multiplayer I think) should do that.