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)
... F3 and the Jaguar GR3A[?]. The Tornados will be replaced from 2006-2010, and the Jaguars from 2010-2014. Initial deliveries of the Typhoon to the RAF have begun. ...