Who's idea was it to remove the F8 key on startup?