Didn’t realise there are so many distros out there. Wonder how they survive, given that (I assume) majority of us use one of a very small selection.