Out of interest, what rotor do they have. If you consider that a gravel bike fitted 27.5” tyres is fitted with 160mm rotors, with 20”, 160mm may seem oversized.
Looking a size ratio, 140mm rotor on a 20”rim has similar ration as a 203mm rotor on mtb 29er…