As to the quote above: Where is that Opera input.ini file? How can I get there, and what should I use for the editor? In fact, how does one find a particular file via name without going to a command prompt?