I'm not quite sure how to tell which version I'm using.  I downloaded it just a couple of months ago, so I assume it's pretty current. When was 5.3 released?

 

Is the formatting stripped when you yourself paste into the demo page while running Safari?