Leonardo and 20 I/O

Hello !

I bought 2 Arduino Leonardo. I have a big problem with the documentation.

On the hardware page (at http://arduino.cc/en/Main/ArduinoBoardLeonardo ) it is written "It has 20 digital input/output pins" but I can't see how to use pins 14 to 20.
No pin are labeled as this on the board. The "mapping between Arduino pins and ATmega32u4 ports http://arduino.cc/en/Hacking/PinMapping32u4" does not have those pin neither.

Where can I found its?

I expect that similar to the UNO you an use the analog Pins also as digitalIO . just use pin number 14-20 for A0 ..A5