Remove is_shift_pressed() -- it's not been used since r4906.