Some improvements to the docs

Mainly in the technical overview