Changes

If your document is inteded to provide code examples to be tested by the readers, the presence of format sign signs (e.g. line numbers) can create some troubles while copying and pasting the code text from your document to the language environment. More generally, the copy and paste approach , being slow and possbily related to encodings, is not satisfying at all.