Ingest more Mbed mercurial repositories

The approach used in #5363 (closed) discovered 10k repos on os.mbed.com, but the ArchiveBot job 7bjndtsczcrvgksnc6f9r3dwb discovered 60k repos. So please compare the list from #5363 (closed) with the attached list generated by the commands below, then archive the repos that are missing.

wget https://archive.org/download/archiveteam_archivebot_go_20241115062543_eb298f37/os.mbed.com-inf-20240711-052514-7bjnd-meta.warc.gz
zgrep -oE 'https?://os\.mbed\.com/(teams|users)/[^/’ ]+/code/[^/’ ]+/' os.mbed.com-inf-20240711-052514-7bjnd-meta.warc.gz | sed 's@^http://@https://@' | awk '!seen[$0]++' > os.mbed.com-mercurial-repos-from-archivebot-job-202407110525147bjnd-7bjndtsczcrvgksnc6f9r3dwb.txt
sort -u os.mbed.com-mercurial-repos-from-archivebot-job-202407110525147bjnd-7bjndtsczcrvgksnc6f9r3dwb.txt | sponge os.mbed.com-mercurial-repos-from-archivebot-job-202407110525147bjnd-7bjndtsczcrvgksnc6f9r3dwb.txt
zstd -0 os.mbed.com-mercurial-repos-from-archivebot-job-202407110525147bjnd-7bjndtsczcrvgksnc6f9r3dwb.txt

You can see the recent activity on the site too. It is fairly inactive, but I'll do SCN if there are any further changes on that site.

PS: some of the repos will be inaccessible, since ArchiveBot discovered some private repos that had public forks.