We should switch away from the current flash copy tool and use the new HTML 5 style copy api's. Probably using [clipboard.js](https://github.com/zenorocha/clipboard.js).
We should switch away from the current flash copy tool and use the new HTML 5 style copy api's. Probably using clipboard.js.