I came from Acrobat DC, in DC, there's option "Copy selected text into Highlight, Strikethrough, and Underline comment pop-ups" in Commenting preferences. It really speeds up my commenting, because I need to search the highted text, especially in a long document, such as book. So, please add it back. Thanks!