rms リチャード・ストールマン jwz ジェイミー・ザウィンスキー djb ダニエル・バーンスタイン ぐらいしか知らない もっといそうなんだけど、全然検索できない