[ggm]

You would think either they could parameterise all units or a plausible browser extension could convert elephants to swimmingpools and King's thumbs to badly measured fractions of a diameter.

[rufname]

I made this, but have not tested it yet with this website:

https://github.com/rufname/metricPlease