Ah, that's a great idea! Okay. I'll definitely take a look.
I really wanted to extract things like map data, historical events, locations of cities and so on. I had thought I could write a tool that lets you export the data in-game using the SDK, but it seemed like a lot of work.
Really...