There is a way I could do this bookmarklet thing and have it work on all browsers. That would be to move most of the programming to my server and just have it output data to the browser in the format NewsPro requires. I'd probably want to cache the results of searches, but even so, I don't know if the bandwidth would cost me too much (it's on Rackspace and it isn't cheap). Maybe I'd have to move it to a cheaper server.
But I guess it wouldn't be have to be a bookmarklet then.
Edit: Well, I guess I probably won't be doing this. I did a test of how much traffic 50 files worth (the standard page - in this case 2482 message-id's) generated -- 732 KB in (only html, no pics, no css file) -- 126 KB out as a straight text file -- total 858 KB for a standard search. That would work out to about 700 50-files-to-a-page searches a day under my current allotment. If more than 70 people did 10 search and downloads a day, it would start costing me.
Thanks. I plan on refining it so you can sort by various column headings and have the checkboxes on the original page so it's easier to select items. I will try to implement a framed version for people using popup blockers which don't have some sort of whitelist.
I'm about 3/4 of the way through the new version for IE6. When I'm done with that (a day or two more, I guess; I just have to add in code I've more or less already written), then I'll convert its code to one very long line for Mozilla, and debugging that may take another day. So, pretty soon.