This will be fully incoporated into the next version of drpython.
I set up a cron job to, once an hour (on the :00), parse the plugin listing (case insensitive), and update the version numbers for drpython.plugin.list.dat.
This means drpython will now download the list from the website, instead of the mirrors.
The advantage is that the list will be up to date, and plugin developers only need to update if they add a new plugin (or I can do it, since it is not a daily occurrance kind of thing).
The downside is that it will not work if sourceforge is down.
I think this is acceptable.
THis also means the website will always be up to date with the correct plugin versions.
Cool, this solution looks very professional ;)