This reverts commit f187ff07.

I've understood what happened: the hook that was blocking me was my
local pre-push hook. And since I'm using a more recent version of
black the output is quite unfortunately slightly different.

Let's move back to what CI was accepting.