After typing in a PDF, the highlight feature, which pops up automatically when one selects text, stops working. One must select 'edit' and then 'document' to turn it back on. This is wasted effort and time when one does a lot of highlighting - quite common when reading scientific papers