It appears to save small–once.
Not being distracted by anything, was one of the virtues of the save small button.
[It might be possible to write a button script that also 7.zip’s the Rhino file. Rhino files generally 7zip compress down to 20% of their original size.]