title: How to extract the GPS coordinates of pins in open street map?
body: <p>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.</p>
  <p>Any idea?
  Thanks</p>