Hello,
I plan to take the current slime from cvs (taken at the moment I post this) and call it a release.
Given the many features and fixes added since 1.3.1, I propose calling/numbering it
slime 2.0
If there aren't any objections, I will publish it in about 24 hours.
Regards, Mario.