FZPZ files

Hello,
FZPZ files from : https://www.arduino.cc/en/Main.ArduinoBoardMKRFox1200 are not correct where i can find a good version?

has a corrected part. If whoever maintains the site where the broken one is:

https://store.arduino.cc/usa/arduino-mkrfox1200

would like to replace it with mine, please feel free to do so (it is basically yours with a number of issues fixed).

Peter