getJokerfc このスクリプトは RFC Indexの XMLファイルを元に、 ジョークRFCの一覧とステータスを CSV出力するものです。 知人との会話の中で、 ジョークRFCはObsolete扱いされることがあるのかどうか、 という疑問が生まれ、 その確認のために作成しました。