Merge robru-save-that-buffer into robru-save-all-buffers.