Docs required issues process

According to the Release process, 3 weeks prior to release we need to check docs_required-labelled issues and write new documentation, removing the label and commenting in the issue when the work is done.

Ideally, at the time of release, the number of docs_required-labelled issues for the versions being released should be zero.