Cannot install xiao rp2040 json file to Arduino board manager

Products & Technology Arduino & Seeeduino
6

I confirm: 2.7.2 fails but 1.12.0 works.

Could Seeed fix that issue, please?