Ok, so only add pages to the mirror that are older than N days or have more than M (non-reverted) edits. Probably you'd also need to have tracking for when page

Ok, so only add pages to the mirror that are older than N days or have more than M (non-reverted) edits. Probably you'd also need to have tracking for when page names change. It's not a deal-breaker.