• !40 [script] Revert fixes done to tackle issue #15: Revert fixes done to tackle issue #15. https://bugs.python.org/issue30167 is fixed since a couple of years (I cannot reproduce the error anymore on all supported Python versions)