Will using 32KHz RTC preclude using P19 and P20?

LOPY/pins.csv on Github shows P19 and P20 are mapped to ESP32 GPIO32 and 33. According to the ESP data sheet these are the pins for the 32KHz crystal. So, it would seem we can't use use P19 and P20 if we're using RTC with the 32KHz clock.