Yes, note that i'm explicitly saying "from the user's perspective" here. Of course i'm not expecting sourcehut (or github or anything) to do something they do n

Yes, note that i'm explicitly saying "from the user's perspective" here. Of course i'm not expecting sourcehut (or github or anything) to do something they do not even meant to do. Even projects in Sourceforge often have their code repository in other places.