use https mirror for manual instead