Original: It is also known as West Indian lime, Bartender's lime, Omani lime, or Mexican lime, the latter classified as a distinct race with a thicker skin and darker green color.
Simplified: It is also known as the Mexican lime, West Indian lime or Bartender's lime.