From Craig Silverstein: Speed up ODR violation reporting.