nikitonsky: If you extend source code with line numbers, make sure those aren’t selectable
August 24, 2023 // PermalinkEdit
