A collocation framework to retrieve tropospheric delays from a combination of GNSS and InSAR. Issue 4 (4th November 2020)