Issue #18974: Tools/scripts/diff.py now uses argparse instead of optparse.