Richard Stallman has belatedly swapped his encryption key with a much longer (stronger) one