As a side note: it was Stallman's birthday yesterday, who turned 61 himself.