Problems with https://manpages.debian.org/

[Richard Owlett]

For the past couple of weeks I've had problems connecting to 
https://manpages.debian.org/ . Usually it went away after a couple of 
retries.

Earlier today had to do multiple retries over ~15-20 minutes.
If it's relevant, my ISP is T-mobile.
I haven't noticed any problems with other sites.