In my opinion, worst case scenario (Nokia don't want to allow us mirroring Nokia repos) would be "omitting" them in official documents/talk, and relying on "second hand" availability of them (user-to-user distribution, personal wiki's informing about such things existing...).