Sources page: priorities, bulk actions, and undo.

New: Set a priority on each source so the bot prefers it when answering.
New: Bulk actions on the Sources page: select many sources (including the children of a sitemap or WordPress import) to refresh or delete.
New: Undo after deleting a source.
Improved: Status filters, accurate counts, and app-wide toasts that confirm what happened.