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)
... 2003-03-17 with ...