Or to put it more positively: these PEP 8 changes would be great to have in a separate PR so everyone can benefit without having to wait for this PR to merge. :grin: