Do artigo da Wikipedia sobre o histórico de versões do Opera :
The version identifier 13 was skipped, thought to be for reasons of superstition, while 14 was used to refer to a WebKit-based release of Opera for Android.
13 é considerado um número de azar em muitas culturas. O Microsoft Office é outro exemplo de software que ignorou a versão 13 (o Office 2007 era a versão 12 e o Office 2010 a versão 14).