Please correct AVR board packages documentation

You would need to modify the source code:

The first run "built-in" libraries installation is implemented alongside that for the "Arduino AVR Boards" installation in the code I linked above.