Version 1.0.25 release

Preferences interface simplified to reflect the new watch-based
repository subscription logic, as well as providing a link to view and
edit the watch-list.