Thanks for sharing! One more curiosity - what PNG compression tool was used and how long did it take to crunch 216GB to 17GB? I'm surprised it didn't crash.
The figure 217 GB comes from the cumulative size of all the pandas DataFrames containing the whole dataset (as mgspack files). The lossless compressed figure comes from the total size of the highest zoom level.
It didn't take that long, it was mostly done overnight (so around 10 hours in a i7 server with 24 GB RAM).