+ * API change: `pagespec_match_list` has completly changed its interface.
+ The old interface will be removed soon, and a warning will be printed
+ if any plugins try to use it.
+ * Optimize away most expensive file prune calls, when refreshing,
+ by only checking new files.