Well hey, they seem to have fixed the distribution errors they suffered last time. Getting the packet was totally painless.