doc: tweak docs a bit - SemanticDiff

Commit

1 year ago

doc: tweak docs a bit We also update the docs for flags like `--extra` to note that they may result in an error if they try to enable extras that are conflicting.