ブックマーク検索 - 開発者向けオプション 出し方

[ 開発者向けオプション 出し方 ] 以外の共有ブックマークを探す → 画面上の検索ボックスで再検索。
[ 開発者向けオプション 出し方 ] をもっと知りたい → 画面左の同時検索を変更。