Looking at the markup it seems every "object" is redefined upon use. Like every mine has its own geometry defined over and over. I think performance could be improved if they relied more on:
https://developer.mozilla.org/en-US/docs/Web/SVG/Element/use
so that shapes can be reused. Its just a guess so, but I think its a good one.