* Update and clean up
- Use current hyperlinks.
- Remove redundant explanation and refer to official docs, now dev
containers have gained maturity.
* Update and clean up
- Spell project name more correctly.
- Normalize `Dockerfile` path.
- Remove deprecated setting, leave it to the defaults.
- Add the EditorConfig extension, since the project uses it already and
the functionality is quite critical for contribution.