I know you got it already but if it's a one-time thing and you don't want to go coding something up for it, you could use a bookmarklet like this one:
Code:
javascript:(function(){as=document.getElementsByTagName("a");str="<ol>";for(i=0;i<as%20.length;i++){str+="<li><a%20href="+as[i].href+">"+as[i].href+"</a>\n"}str+="</as></ol>";with(window.open()){document.write(str);document.close();}})()
Paste that into the browser address bar of the page and it will open up a new tab with a list of all links on it. 2133 in this case
You could also modify the bookmarklet to show the links separated by a comma and not linked. That way you'd get a CSV of any page at the click of a button.