Richard Stallman dancing with GNU