gnu: procps: Explain why a mirror:// URI isn't used.