The public_keys folder was just obsoleted in the last commit.