Topic on User talk:Pppery

Hi, I was just checking out Extension:DeToc (which I wrote) and the download link seems to be working fine for me...  « Saper // talk »  01:19, 16 March 2024 (UTC)

Odd. It's working fine for me too now. At the time I was getting an error saying that repo.or.cz was overloaded, and I guess I interpreted it as a something being permanently broken rather than a temporary state.