Craig Ringer, Andres Freund, Christian Kruse, with edits by me.