On Sat, Jul 29, 2017 at 3:41 PM, Alexander Ploumistos
I visited the relevant wiki page which still
lists the old location, but I could not edit it, because it says I
should be a member of the "Packaging" group (btw, who belongs to that
group and how does one become a member?).
Never mind about that, I found the group info page.