encyclo - 6:59 pm on Oct 7, 2006 (gmt 0)

F5 (without a modifier) in Opera should work the same as a "hard" refresh (Ctrl+F5/ShiftF5/Command+F5) in other browsers. The browser should request the page directly from the server rather than out of the browser cache.