Group everything that has something to do with Clippy development under the "Development" chapter, so that Clippy users can't get confused.
This reformats all the internal docs, so that the md files use at most 80 characters per line. This is the usual formatting of md files. We allow 120 chars per line in CI though.