Tweak setup formatting, add note about installing a system image for AVD