Comment by anarazel

That should be trivial to change:

https://github.com/postgres/postgres/blob/d2f24df19b7a42a094...