Doc: installation: checked error with tidy