Woohoo full support for starred items in Opera Mini that wasn't working previously.
New global search, for you can search for programs in any day.
More fixes for Opera Mini that should now work just as well as anhy other browser.
Add weekday names to most dates.
Add missing includes.