Re: Anubis challenge on texlive.info pretest mirror breaks TeX Live Utility

> On 20 Feb 2026, at 17:00, Adam R. Maxwell <[email protected]> wrote:
> 
>> On Feb 20, 2026, at 01:59 , Bruno Voisin <[email protected]> wrote:
>> 
>> so I imagine Mozilla/5.0 comes from WebKit's userAgentForURL:
> 
> I doubt WebKit would use that, but thank you for pointing out the code where I was setting it.

In Safari's Settings, if you check "Show features for web developers" at the bottom of the Advanced settings, a new Developer menu appears. In that menu, if you choose User Agent > Other, you'll see that the default is (for me in Tahoe 26.4 with ARM chip):

Mozilla/5.0 (Macintosh; Intel Mac OS X 10_15_7) AppleWebKit/605.1.15 (KHTML, like Gecko) Version/26.4 Safari/605.1.15

This is consistent with the info at

https://www.whatismybrowser.com/guides/the-latest-user-agent/safari

> I missed that line last night in trying to come up with a workaround using tlmgr's user-agent, since that was my best guess as to how it might be getting through.

I don't know whether that can be of any use, but the WebKit doc which says userAgentForURL is deprecated refers to WKWebView instead, which includes a customUserAgent (macOS 10.11+)

https://developer.apple.com/documentation/webkit/wkwebview/customuseragent?language=objc

I didn't realize tlmgr was specifying a user agent. Indeed, as defined in TLConfig.pm and TLDownload.pm, it's either of

texlive/lwp
texlive/curl
texlive/wget

depending on whether LWP, curl or wget is used.

Bruno