Ah, right. We did turn on TCP keepalives so we probably don't need a protocol-level ping (although we often deploy behind haproxy, so tcp keepalives need to be configured at each hop)
So I do think "pgwrite" level pings make some sense, it's just not exactly straightforward to add them :/