@MartinSleziak Glorfindel created both tag-excerpt and tag-wiki for lean-theorem-prover.

I have deleted my two comments related to the tag-info - they are no longer needed. (And they are also archived here in chat.)