Scale of 'Share' SVGs and PDFs incorrect?

Hi folks,

I’m having a similar issue as a forum post from 2009. When I export from openstreetmap.org via Share → SVG, choosing a scale of 1:4950, the scale information in the file seems to be completely wrong - the map in fact has a scale of approx 1:2450. The same is true of PDF export.

Is this a known issue? Is there a workaround? Thanks.