Documentation bug - size of serial buffer

Community Suggestions for the Arduino Project
1

The documentation says that a serial buffer is 128 bytes:

The code declares it as 16 or 64 bytes.
https://github.com/arduino/Arduino/blob/master/hardware/arduino/cores/arduino/HardwareSerial.cpp

I guess it is more appropriate to fix the documentation but I can't seem to edit the page (I guess they are not a public WiKi). Can someone make a suitable fix?

2

Can someone make a suitable fix?

Yes, some one can.

Will they? Probably not.

3

I fixed it.

4

I fixed it.

Aha! We seem to have found the key.