(S) ProveIt is a tool that adds a graphical user interface to find, edit, add and cite references (demo)