fix minor bugs; remove duplicate introduction.rst; get heading hierarchy right