Add explanatory comment on using our local Hackage mirror