dont copy html on Ctrl+C; fix #517