The variant knot names are included in the list with redirecting links to the most formal name. (approximately 300 knots are listed at this time)
... for some observations on the DCMA, its proposed successors, and their consequences, intended and unintended hilarious ...