Docs

Hi, these commits incorporate Alexey's revisions to the UI autotest doc, the deletion of a version whose filename was missing the .md filename extension, and a minor change to the dev guide to remove a comment that should not be there.