Most of these updates is based on data from https://repology.org/,
detection based on permanent redirect from http:// to https://.

$source urls are updated when they contain $url as substring.