Update documentation: the keyboard shortcuts use ALT not SHIFT

Authored by mwolff on Feb 15 2019, 9:51 PM.