Revise ':highlight' help documentation (fixes #23)