Paracompact 
I’m interested in what the most popular tags on the site are, the top 100 or 1000 or so. Is there a list out there somewhere? Or a script that can locate this info?
EDIT: Never mind, after much Googling and failing, I finally found the answer on the site itself, under the “tags” tab. Somehow never noticed it before.
EDIT: Never mind, after much Googling and failing, I finally found the answer on the site itself, under the “tags” tab. Somehow never noticed it before.
