Simplify installation and documentation

Remove some distractions, fix some nits.