ToolsBaby SharkmpranckeBaby Shark is extension that helps with Digital Ocean searches. Biggest pain today is lack of tag search and this is the main reason why it was created.Screenshots from Chrome Web StoreScreenshots from Mozilla Add-ons