That's all Folks!
After years of good and loyal service, it is time for RMS to take a well-deserved rest.