Add a collaborative document plugin

I just found this collaborative document editing plugin that might be good just for this internal site:

 

https://wordpress.org/plugins/docs/

 

It’s been worked on a bit by the wordpress team, so it’s probably pretty stable.