extend-diff-ignore = "(^|/)doc/[^.]*\.html"