I suggest backpatching this. It will take a long time for the correct link to reach "current" per the schedule we have now, and it will be years with an incorrect link..
//Magnus
On Tue, Jan 17, 2017 at 4:05 PM, Peter Eisentraut <peter_e@gmx.net> wrote: