I am off to another diving trip and not sitting in front of my computer the whole time. I am frequently checking my email however. If there is anything wrong, please send me a message and I will try to fix it ASAP.
I also want to wish everyone happy holidays and a much better 2018 than whatever this year was.
Also, I recently started a small experiment by re- generating the Empire with the same seed. It turns out it pretty much looks identical on the map. That means that (at least for version 12.2) we could update the empty lots in the empire to include all the current stone types that at right now missing, such as andesite, diorite etc.
So some time early next year I will likely replace all empty lots in the empire with new versions and test the same for the kingdom as well. As long as there are no big breaks in the borders between the lots, we should be able to get updated stone types.
I will continue to do those checks and updates for the coming versions as well.
All the best!