A few tidies here and there, deleted old index page