A private web annotation tool with sync, backend