I will admit, I've often searched for $project_name github to get to their repositories. It shouldn't matter but it's just a force of habit now. That said I do

I will admit, I've often searched for $project_name github to get to their repositories. It shouldn't matter but it's just a force of habit now. That said I do feel some joy when I see a project on Gitlab and am happy to contribute there, eg FDroid.