An Opera port of a Google Chrome extension to keep track of time usage on different Web sites.