Oft kopiert es einfach garnichts. (kann abersein, daß es ein paar Mal ging)

Ist zwar umständlich, die Hilfe wieder aufzumachen, falls man sie schon geschlossen hatte und dann über's (Kontext)Menü "kopieren" ... schon geht's.
(immernoch besser, als der Acrobat-Reader, der sich netter Weise daran hält, und daß komischer Weise bei vielen PDFs das Kopieren verboten wurde, vorallem wenn man da auch noch Beispielquellcode drin stehen hat)