Very nice indeed!

Haven given it some more thought, I think the issue is, that what I was looking for was specifically “take me to the next top level comment”. Not “collapse current thread”. In actual effect, it doesn’t make much difference. Nevertheless, it is like taking a detour to get to the destination.

Perhaps both (collapse thread; jump to next top-level comment) could be swipeable options?

Maybe a floating button, visible when viewing posts with comments, could be seen when “jump to next” hasn’t been chosen as a swipe-option? That way, the option will be clearly in place out of the box, but won’t be an eyesore for those who have set up a swipe for the action?

I’d say the name is apt and descriptive, once you realize it does exactly what it purports to do. It’s just different than what has become the norm (in the Reddit and Lemmy apps that I have used).

Syncing over iCloud drive works well (Obsidian, iOS).

Oh I see. Would’ve expected collapse thread swipe option to collapse all child comments of the specific comment that is swiped, not entire thread from top-level.

Great! 🙏

Incidentally, I opened Avelon fullscreen on iPad today – wonderful!

I’ve heard good things about Arch. Indeed, I installed it on one of my boxes, where I specifically wanted to avoid a lot of compilations, besides being curious about it.

Used it for a bit over a year know and… I don’t know, it hasn’t been as stable, and I’ve find using AUR more of a chore than custom ebuild repos. It’s probably great when you get used to it, but so far I still prefer Gentoo.

It’s great, that there are several good distros for different use cases, and that we have the freedom to choose what suits us best!

The question you ask in the title is a more general one that you ask in the title.

Yes, Gentoo is a good choice.

No, it is not worth compiling every package. This should not be the main reason you choose Gentoo.

Admittedly, I started with Gentoo for the same reason (per-package compilation), hoping for performance gains. However, I stayed because of the excellent documentation, the great user community; the rolling versions; the customizability and control I have over my system, the choices I need to make when installing, and keep making as the install is continuously set up over the years.

I’ve tried quite a few distros over the (+20) years of Linux-use. I keep choosing Gentoo.