Bernard Stollman releases