That’s just a normal shortcut for mental math. Break your problem into simpler problems then combine, in this case if one wants to know 7+6 this is being turned from 7+7=14, an easy problem to remember, into (7-1)+7=14-1=13.

That doesn’t feel exactly right as it’s not exactly the way you think about it, but words can’t describe such inferences of thought other than to call them what they are which is not exactly how one’s thoughts reflect them.

Where can I find these “filters” that do this? All I can find are ones that give me massive google eyes and a top hat!

I’m on iOS using mlem, which has so far been the best app I’ve used for it. It used to be somewhat unpolished and lacking, but in the latest update most of the bugs have been ironed out and the image viewer is in existence. Lemma also looks really promising although it’s still in early early development. For mastodon I use ice cubes although for my uses of mastodon I might just download an rss reader.

Red hat owns the trademarks as fedora isn’t a real legal entity. Red hat employees also hold most spots in the council, and financially support the project. The council spots are voted upon so they don’t have to be red hatters that’s just who we chose.

While yes red hat may try something like that, they also maintain lots of packages and develop technologies that fedora uses, so fedora is still benefiting from said arrangement. It is a trade off here, but I would argue it’s more than worth it as it’s better to be free qa and get decent software than not be anybody’s qa but either not have or have poor quality software.

Fedora is a community distro. Red hat just contributes a lot.