In order to fetch a new definition, Opera 5.12 must be set up to reload the document each time. This is accomplished by changing the History and Cache setting Check modified documents to Always in the Preferences section of the File menu.