Hello!
I was thinking the same thing once - and you maysee db989184cda7f4aa1ff764cca96142029e7e093b for the special comment aboutthat :)
https://github.com/postgres/postgres/commit/db989184cda7f4aa1ff764cca96142029e7e093b