Follow-up: Somebody started another reopen vote shortly after I linked the question here. It slowly accumulated four votes to reopen. However, those votes have now expired, so the question will remain closed.