In:
https://www.olimex.com/Products/Duino/AVR/OLIMEXINO-32U4/open-source-hardware
"Differences between other Arduino-compatible boards and Leonardo (32U4)" redirect to:
http://www.arduino.cc/en/Guide/ArduinoLeonardo
But this link doesn't show info.
Thanks.
This is now fixed.
Thank you for the report. Let me know if you notice other discrepancies.
Best regards,
Lub/OLIMEX