Re: Fwd: [Bug 188528] konsole's history adds spaces to end of lines when copying text