Doc: reflect changes in Generic Highlighting options

A redundant check box has been removed.

Change-Id: I7d0da4df7baced67ed937183739e242cb82ee891
Reviewed-by: Erik Verbruggen <erik.verbruggen@digia.com>