"Less ugly" pyzmq 13.0.0 fix for context.py and better comments about the issue