minor version history item edit, and reorder some items so that all the
EC2 bug fix items are next to each other within the version history
===GT=== #3720
minor edit of version history item
===GT=== #3713
minor formatting change of version history item
===GT=== #3578
bosco_ssh_start and bosco_findplatform are not intended to be issued
from the command line
===GT=== #3634
Merge branch 'V8_0_1-branch' into V8_0-branch