Removing the GIL requires more locking/unlocking operations. For single-threaded program, it's a performance penalty on average: https://peps.python.org/pep-0703/#performance

Doesn't removing the GIL imply adding back new, more granular locks?

Sort of, but the biased reference counting scheme they’re using avoids a lot of locks for the common case.