Go back to the tag's page.
Fixed references to short titles using the script we will add in the next commit
Tags: Added new tags
Qoutients of Groupoids: A little more discussion