Stamps export question

you can try to manually create projected_dem.rslc as described here: How to prepare Sentinel-1 images stack for PSI/SBAS in SNAP
The rest of the list is quite outdated, but exporting the DEM band in gamma format and renaming it accordingly could work.