Comment by bassdigit

I wonder if it could be even smaller when they wouldn't store all coordinates with 10 decimal places, at least for the label positions.