Consistent category links

[ScriptRaccoon]

Previously, when a category was linked in a proof and the link text consisted only of a formula — namely the notation of the category — the link was not underlined. This was confusing, since users could not easily recognize that the formula was clickable. As a workaround, I had often used the name or description of the category instead, but not consistently, which introduced further inconsistencies. This has now been fixed. (The implementation is not elegant, but it works well enough for now.)

These links have also been unified: the link text is now consistently given by the notation of the category rather than its name or description.

In addition, many more such links have been added. This makes the dependencies between proofs much more visible.

Before	After
The category $\FinOrd \setminus \{\varnothing\}$ is core-thin because already $\FinOrd$ is core-thin (see its <a href="/category/FinOrd">category page</a>).	The category $\FinOrd \setminus \{\varnothing\}$ is core-thin because already <a href="/category/FinOrd">$\FinOrd$</a> is core-thin.
We may copy the proof for the <a href="/category/CAlg(R)">category of commutative algebras</a>	We may copy the proof for <a href="/category/CAlg(R)">$\CRing$</a>
One can take the same proof as for $\Ring$.	One can take the same proof as for <a href="/category/Ring">$\Ring$</a>.