Hi Dave, Ashesh and Akshay,
I've attached a patch for pgAdmin 4 documentation. Let me know if you have any problems applying it (please note that I will be out next week).
Thanks!
-- Susan