Combine documentation in `doc` and `src/doc`

There is no reason to have two locations with overlapping content. It is confusing and people do not know where to find the necessary information.