Eu realmente encontrei uma solução - bastante difícil de gerenciar, mas uma solução, no entanto. O que se pode fazer é copiar o arquivo de favoritos do Opera, localizado em
C:\Users\[username]\AppData\Roaming\Opera Software\Opera Stable
para
C:\Users\[username]\AppData\Local\Google\Chrome\User Data\Default
É então possível exportar os favoritos para um arquivo HTML usando o Chrome.