ブックマーク検索 - texcy

[ texcy ] 以外の共有ブックマークを探す → 画面上の検索ボックスで再検索。
[ texcy ] をもっと知りたい → 画面左の同時検索を変更。