In /home/user/.opera/ds there is a file called 8_all that contains search engines, but when I edit it, Opera somehow overwrites the file with the original ...