Fix DVI dashboard, fix unidentified-rule in dvi/body, S3OptionsFilter to match None-option