(unrelated) Since I already "successfully" voted to close
that Python question as a duplicate, which helped it get closed wrongly as off-topic (and then it was reopened), the system won't let me vote to close it again. Though it
could get an answer that explains the error. Anyway I've finished the retagging job that should've done completely before.