This version adds new "Work Offline" and "Delete Current Task" menu buttons,
better keyboard navigation and cleaned up menus, faster deleting and marking
articles read, and about ten bugfixes.