That's all Folks!

After years of good and loyal service, it is time for RMS to take a well-deserved rest.