mention (optional) proxy in mirror setup recipe documentation