Re Discord discussions, it seems that in general in OSM, we may not copy data from a database. The CEDD data is quite complete (every hill should have a height record there) and would count as a database, so we may not copy from it.