Updated documentation KPIs with new approach

New approach to documentation KPIs will track two things:

1. Trending velocity of documentation MRs
2. Proportion of documentation efforts focused on proactive work