Also, some pre-commit checks and a CI for it.