Hi there
What I can offer for you is to create an extension that will do what you want. With a click on the icon, you can export the ID's in the text file, all separated by commas. I can make it for Chrome or Firefox and if you like the idea, don't hesitate to contact me.
Also, when do you plan to start the project and when is the deadline, if there is one?