@johncarlosbaez another way to look at this project and get amazed is looking at the historical context. The scale and precision achieved since the times of Tom and Jerry (launched 20+ years ago). Or more broadly - GRACE:
https://en.m.wikipedia.org/wiki/GRACE_and_GRACE-FO

And yeah, from 10 micrometers to 20 picometers :)