I would like to automatically download the csv format file found on this page using a program like wget or curl. I tried to spot the link by accessing my browser developer tool, but I could not find a link filtering the scrolling lines with the ‘csv’ keyword. Any kind soul willing to suggest how to proceed?