Copying HTML seems somewhat more difficult than it should be...