Aye - I’m related to SuperTed.
Or maybe not. If you click on the pencil icon next to the time stamp, which shows that the post has been edited:
and then from the window that brings up, choose “Raw”
which will bring up the original version of the post, with the HTML tags:
You can copy and paste it from there.
@Diamax - you need to format your code in your post to get it to show correctly. Either highlight it and use the </> button in the editor window, or place three backticks ` on a line above your code, and a three on a line below your code.