Update 2021-05-14-install_pg.md
Update 2021-05-14-install_pg.md

Hat tip: Journeyman Geek.
jericson/jericson.github.io,jericson/jericson.github.io,jericson/jericson.github.io,jericson/jericson.github.io