Naja, das mit den Download-Links ist ja ganz nett, aber ich wuerde es schon gut finden, die Zeilennummern trotzdem so zu machen, dass man sie nicht mitkopiert. Denn:
1) Es ist moeglich
2) Man spart einen zusätzlichen Internetzugriff (An manchen Tagen ist die Verbindung so schlecht, dass man echt keine Lust hat, noch einen weiteren Link anzuklicken)
3) Je nach dem, wie man arbeitet, geht es einfach schneller, den Text zu kopieren, und es hilft nicht, dass man einen Editor gestartet bekommt. Manchmal muss der Text in einen Editor eingefuegt werden, der in ssh laeuft, oder aehnlich.