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)
... would include in all computer systems obligatory mechanisms controlling use in ways deemed by copyright holders to be unacceptable. See Professor Edward Felten's ...