Non-descriptive directory name

Type

Confusing or poorly worded information.

Location of Issue

https://github.com/openhwgroup/core-v-docs/tree/master/docs

Additional context

This directory within "core-v-docs" is simply called "docs". Everything in this repo is already docs, so what is the docs directory for? This name causes confusion and makes the repo less navigable.