These are for convenience (e.g. contributions are accepted on GitHub)
and to keep contributors morale high (code formatting nitpicking reduces
motivation).

[skip ci]