All right, I thought once something is clickable in a documentation, it should lead somewhere, but I was obviously wrong.
Same here. And on those grounds, I have just disabled those URL links with <nowiki> tags to prevent further confusion.
Thank you. I don't understand the concept, being https a web protocol. Once a resource is not reachable via https on web, only with git, should it not have another protocol?