Final camera ready version

Overall minor changes and proofreading, added footnotes with links to
the info page and Aduno's page