The files under `docker/` should most probably be better maintained (Github action) with `black`, `pylint`, `isort` and such.
