Patch #914575: difflib side by side diff support, diff.py s/b/s HTML option.