Is there a purpose built bookmarklet searchable repository anywhere like there are for extensions/addons?