Remove the aterm doc
Some tweaks to the index, and partly to quickstart