Recent enhancements to Robot/SAVE 11