Pushed this with minor tweaks. There was no hard consensus on this approach, just a couple of favorable votes, so I guess it's still possible that somebody will object to this approach. I'll keep the open item for a couple of days, just in case.
Thanks -- Álvaro Herrera Breisgau, Deutschland — https://www.EnterpriseDB.com/ "No es bueno caminar con un hombre muerto"
