Mike mentioned this on IRC: 10:31 < mikeperry> boklm,GeKo: yes, you should both open tickets for vescum access GeKo opened ticket legacy/trac#13257 and I'm opening this ticket. The access to vescum is needed to update files on https://www.torproject.org/dist/torbrowser/ for new releases.