The answers are great, thanks!
> On 9 Feb 2017, at 20:26, Andres Freund <andres(at)anarazel(dot)de> wrote:
>
> On 2017-02-09 20:17:33 +0100, Rui Pacheco wrote:
>> I’ve been anxiously waiting for that reply but got nothing. I even mailed the mailing list manager again with no reply. And when I click on that link I get a server error: "An internal server error occurred.”
>
> The server error has already been fixed, please reload...