Then i gave a try to write one. this typical bookmarklet firstly ask for few predefined options then extract all the link of matching types. And options are optimized for google filetype : *** search result.
To use copy following lines and then create a bookmark with this text in url. Continue reading