While editing this answer to a generic question, I was adding Wikipedia links, I noticed that the other existing (also Wikipedia) links where all HTTP, though mine were HTTPS.
Shouldn't they have been changed to HTTPS when Stack Overflow went HTTPS?
Or maybe should they stay HTTP, because they are not image or some other reason (though I don't understand why)?
Or are they simply waiting for someone to edit them while passing by?
Is there anything we / devs should do about it?