Preparation for maintenance od hubloc/server

this is a preparation to refetch public server keys, for the case that something went wrong in distribution.