On 2023-01-30 23:37, Sebastian Gniazdowski wrote:
> 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!