A simple pdf/html annotation tool