I want to extract the latitude and longitude of a set of about 400 pins in a open street map web page. I don't control the page and I don't need to do it more than once. Obviously, those data are public and free to use but I try to find an easy way to get those data instead of doing it manually.
Any idea? Thanks