Snippet: can't copy paste text

arthur: minor: can't hold down alt to copy text in snippets

james: minor inconvenience (cross-browser): you can't highlight text to copy&paste from snippet reviews.