I am recreating the feature request I sent to support in the past: Since the docs contain "$" and "#" in their commands to symbolize if the command should be executed as root/sudo or non-root/non-sudo, it makes copying it over to shell directly hard, especially multi-line command blocks. Therefore having a native copy button that would exclude the "$" or "#" would help immensely.