How to change display on subsequent boots

Pure documentation change. See Issue #180 for proposal to recognize number keys at the OS selection screen, removing the need for this workaround.