Re: [routing-wg] Update on improved rsync repository publication