the .org extension was replaced by .html (so breaking these external links)

the .org extension was replaced by .html (so breaking these external links), just replace by .org/ seems to work around this.