5 ms·

Ah. I use R a lot but gotten so used to not saving RData and Rhistory that I forgot why they were useful.