highlighting works but it's not a great long term solution - some stuff you just can't highlight very well (like pdfs for instance). have you tried any other tricks to accommodate?