Yes, but that does not diminish my potential explanation for why people sometimes do not wish to use github but gitlab instead, which is the subject of the thread (see title).