Also added: reporting on exact missing setopt options – till now it was showing all recommended options, now it filters out the already given.

Busy guy!