The link to "Lightshow" doesn't lead anywhere anymore: https://github.com/agda/agda-github-syntax-highlighting/blob/ba7aef428c0b900675696de17e1ee6bc9d7e684e/README.md?plain=1#L8 Apparently, this product has been shredded as of Sunday (1st May 2022): - https://github.com/github/linguist/issues/5844