use LaTeX formatting for version history item
===GT=== #3366
minor edit on 7.9.3 version history item
===GT=== #965
edit of initial documetation on EC2 spot instances.  Add version history
item about the existence of the documentation.
===GT=== #3209