There's one thing I don't understand about the REPL mutex mixin code, which is why it calls

self.context.release_lock()