And if not that, a copy to clipboard feature would be the next best thing - right now highlighting also grabs the extra text so copy/pasting these takes a bit of extra work and cleanup.
This could get better integration with the site, given it would be reasonably simple to remove snippets as well as add them.