If you click on a peak's grid ref on DoBIH then it displays the summit's position on a map. You can select OS map, aerial, etc. I look at these and visually align the peak on OSM using the standard map with the aerial background. This allow me to fairly accurately locate the peak without copying anything. All just my observation and judgement. It took me several hours to make these improvements to the locations of popular Wainwright summits on OSM for the public's benefit. There are clearly no copyright or licensing issues with this manual process.
I am glad that I have now clarified this fully for you so that you have no need to ask any further questions. I understand that you raised a legitimate concern and that I have been able to address it.
Thanks