Hello StewartWeb
We apologize for the inconvenience caused, as per the description above, Highlight tool is not working in Acrobat Pro DC, Is that correct?
Please check for any pending updates of Acrobat Pro DC(if any) from Help>Check for updates and reboot the machine after the installation of updates.
You can also repair the installation files of Acrobat Pro DC from Help>Repair installation(only for Windows), Reboot the machine after the repair.
If the issue persists, please reset the preferences of Acrobat, to reset the preferences refer to How to reset Acrobat Preference settings to default.
If the issue is specific to one PDF, please check the PDF properties once from File>Properties>Security and see commenting is allowed or not. If it's a secured PDF, you will not be able to add comments.
You may also try to disable the Enhanced security option once only for testing purpose but enable it back after checking the functionality. To disable the enhanced security option, refer to Enhanced security setting for PDFs, Adobe Acrobat
If the issue persists, please use Acrobat cleaner tool to remove the Acrobat Download Adobe Reader and Acrobat Cleaner Tool - Adobe Labs Reboot the machine and install the Acrobat Pro DC from Download Pro or Standard versions of Acrobat DC, 2017, XI, or X
Let us know how it goes.
Regards,
Anand Sri.
[Edited response]