Should now this be closed as Returned with Feedback, or are we reallywaiting on an updated patch in the short term?
-- Álvaro Herrera https://www.2ndQuadrant.com/PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services