Add a "General" section and a short summary at the beginning. [ci skip]
Travis is gone. We have Github Actions set up now, which should be okay. Fixes #7447.
We use sphinx with rst for our documentation, and github supports rst here, so it seems weird to have markdown just for these. It also allows us e.g. to include the CHANGELOG in the docs without requiring another build dependency.