3 ms·

I'm not that surprised by this, actually. RMS was very big into folk dancing at one point in his life.