[website] error specs Arduino Micro

I believe there is an error on the "Tech Specs" link of the Arduino Micro, namely on these two websites:
https://store.arduino.cc/arduino-micro
https://store.arduino.cc/arduino-micro-without-headers

Specifically, the indication "DC Current per I/O Pin | 20 mA" is not correct: it should be 40mA. This information can be found on the datasheet of ATmega32U4, Section 29.1, page 383.
Interestingly, the same information appears correctly indicated on the "Tech Specs" of the Arduino Leonardo, which uses the same chipset as the Arduino Micro:
https://store.arduino.cc/leonardo

Review the Tech Specs sections at the two Arduino Micro store URLs and compare them with the Arduino Leonardo page. Check the ATmega32U4 datasheet, Section 29.1, page 383, then verify that both Micro pages report the corrected DC Current per I/O Pin value consistently.

Written by the indexing model from the issue text.