ブックマーク検索 - platform toolset v140

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