the script now works both in Blender 2.25 and Blender 2.23.
It will pop up a simple GUI. Press Anim to render the last saved file. Always remember to save before rendering that way, to “apply” all the last change to the blend file.
I hope it’s useful for some of you.