Please correct AVR board packages documentation

Mine were as well as esp32. I just installed IDE1 on a Pi.