https://telecombit.com/how-to-easily-remove-highlights-from-pdf/