This reverts commit cc997f28d1. I confused the URLs. The files have the same contents but the former URL is recommended by upstream.
cc997f28d1