Hi, Writing up docs for JITing I noticed that nearlyall wikipedia links on the acronyms page are http:// rather than https://. Seems like we should update links in the docs when alternatives are available?
Any counterarguments? Greetings, Andres Freund