Diigo is a browser plugin that functions as a web highlighter, sticky notes , social bookmarking tool, and a social information network rolled into one .