One other point about this, before anyone asks: we will of course have
to go through the source code and docs to s/8.5/9.0/. The plan is to do
that between the conclusion of the current commitfest and the release of
the final alpha version (which will therefore call itself 9.0alpha4 not
8.5alpha4). This delay is to avoid creating needless merge problems for
as-yet-unapplied patches.
regards, tom lane
