はてなスタッフは、はてなダイアリーを「なにで」書いているか？

ふと浮かんだ疑問。はてなスタッフ（はてなの「中の人」）は、はてなダイアリーを「なにで」書いているか？

• 1. 一般ユーザと同じく、普通にWebブラウザ経由で（ただし、はてな社内LAN経由？？）
• 2. 「直接」ファイルを編集
• 3. はてなダイアリーライターで（♪）
• 4. はてなスタッフだけの「ひみつツール」で