anchor.diff:  [[sample-server]]
   === RedPen サーバ
   
  -RedPen はサーバ機能を持ちます。
  +RedPen はサーバ機能を提供します。
   
   [[usage-redpen-server]]
   ==== 使い方: redpen-server
  
positive.code: |STOP_KEY      |redpen.stop   |RedPen サーバはストップキーを登録すると http 経由で終了できます。http 経由で終了させたくない場合にはコメントアウトしてください。
  |=======================================================================
  
  RedPen サーバが提供する機能については <<redpen-server>> 節を参照してください。
  
negative.code: [[usage-redpen]]
  ==== 使い方: redpen
  
  以下は、redpen コマンドが提要するオプションです。
  
  [source,bash]
  ------------------------------------------------
  