Code Style

This page split in two when the repository’s agent and contributor documentation moved to .github/: