Make index page less intimidating

Also use default RTD theme now.  It's pretty enough.