This is an alternative method of selecting multiple non-adjacent documents in a batch without using the mouse. Enable the Mark Mode via the View menu.

When navigating up and down the batch list, use the Space key to select or de-select one or more documents before performing any action.