Search toolsDOI search engineClaudio VergariAdds a search engine that links to doi.org (Digital Object Identifier). The source code is available on GitHub: https://github.com/cvergari/DOI_searchScreenshots from Mozilla Add-ons