On pro-cdh descent on derived schemes | Synapse