Comment by 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.