1. ブラウザの「ブックマーク」にJavaScriptを登録して使用できる検索ダイアログです。
2. テキストを選択した状態で検索ダイアログを開くと選択テキストが最初から代入されます。
   ダイアログ内で入力変更も可能です。
3. OKボタンで、ダイアログに入力したページ名でページが表示されるはずです。
4. 実は「「約四文字」検索ダイアログ(ブックマークレット)」をブックマークに登録するよりも、
   ブラウザ右上の検索バーから「opensearch.xml」を登録するといわゆる「検索プロバイダー」っぽく、
   「https://ooblog.github.io/?page=ぶっくま」クエリーを擬似的に発行させてより検索っぽい挙動に寄せる事も可能です。
   

「/?page=ぶっくま」といったクエリーは「GitHub Pages」で動きません。JavaScriptでそれっぽく見せてるだけなので注意。