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)
Topic on User talk:Pppery
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.