nikitonsky: If you extend source code with line numbers, make sure those aren’t selectable