This script is to be used for Raspbian, which is NOT the same as Raspberry Pi OS.
It was downloaded from here.
See here for details about Raspbian mirroring.