AN4073 states that ADCxDC2 can be used only if ADC frequency is at least 30 MHz. I used it by mistake with ADC frequency 22.5 MHz. It seemed like it improved the precision by about 5 LSBs. The software worked just fine: no crashes, no funny misbehavi...