See also:https://commitfest.postgresql.org/27/2390/https://www.postgresql.org/message-id/flat/CAOBaU_Yy5bt0vTPZ2_LUM6cUcGeqmYNoJ8-Rgto+c2+w3defYA(at)mail(dot)gmail(dot)comb025f32e0b Add leader_pid to pg_stat_activity
-- Justin