Add AMI specific install page (for #417), update various other related bits.