Oh my. I have been using that repo and the themes on any new computer I have setup in the past 8-10 years at least (can't remember exactly, this repo is older than my career). I tried finding alternatives. While some worked, I have seen myself coming back to this repo again and again. Thank you for maintaining it for so long.