Rainbow PDF is a lightweight PDF annotation tool that supports highlighting, underlining, etc. It supports table extraction, and perfect preservation of table formatting.