Yes, certainly not SAR. My point is there is a big heritage of space-based radar expertise the linked project is drawing on, and I was trying to choose examples that people might be familiar with. SRTM was a main source for the DEMs that people use in GIS.