Yeah, I should have read that f’n manual of GNOME’s standard terminal and I would not have to get creative to select a block of text from some program’s output¹. Now, I feel embarrassed for not having pressed Ctrl while dragging the mouse all these years.