ランキングのコピー/CSVを「絞り込み結果のみ」に対応

1. 目的:
ランキング画面には「プレイヤー名で検索」「自分の記録だけ」という絞り込み機能があるが、現在の仕様(ranking_filter_export_note: 'コピー/CSVは検索前の全件が対象です')では、絞り込みをかけてもコピー・CSVダウンロードは常に絞り込み前の全件が対象になる。自分の記録だけを抽出してSNSやExcelで振り返りたいユーザーのニーズに応えられていないため、絞り込み結果をそのままコピー/CSV化できるオプションを追加する。

2. 具体的な仕様:
- ランキング画面のコピー・CSVダウンロードボタン付近に、チェックボックス「表示中の絞り込み結果のみを対象にする」を追加する(日英ラベル対応)。
- デフォルトはOFF(既存動作=絞り込み前の全件が対象)。ONにすると、現在DOM上に表示されている行(プレイヤー名検索・自分の記録だけの絞り込みを反映した状態)だけをコピー用テキスト生成・CSV生成の対象にする。
- チェックボックスの状態に応じて、既存の案内文(ranking_filter_export_note)の表示を「検索前の全件が対象です」/「表示中の絞り込み結果が対象です」の2パターンに動的切り替えする。
- CSVダウンロード時、絞り込みONの場合はファイル名に `_filtered` サフィックスを付与し、絞り込み内容(モード・タブ・検索語など)と誤って混同しないようにする。
- 絞り込みが0件のときにONでコピー/CSVを実行しようとした場合は、既存の「ranking_no_matching_scores」相当のメッセージを表示し処理を中断する。
- チェックボックスの状態はページ内のみ保持し、localStorageやDBへの保存は行わない(タブ切替・モード切替時はOFFにリセット)。

3. 既存機能との整合:
- デフォルトOFFのため、既存のコピー・CSV動作(絞り込み前の全件対象)は完全に維持される。
- API・DBスキーマの変更は不要で、フロントエンドJSのみで完結する(既に画面に表示されているDOM行を読み取って生成するだけ)。
- 既存の「自分の記録だけ」「プレイヤー名検索」「自分の順位へ」機能とは独立して併用可能。