And .box
has been registered as a generic TLD now, so you could run into external .box domains.
So what you’re saying is that Twitter successfully kept out a bad actor.
It’s a shame that most of the users they have left are also in that category, but hey, they seem to be working on it.
For Fedora users it changes nothing at all. Fedora is upstream from Enterprise Linux. There’s no practical reason you’d want to switch to a different distribution, just maybe a personal one if you strongly dislike what Red Hat is doing to the RHEL clones.
A FreeRTOS derivative has gone through the effort of getting certified for safety critical applications, but that derivative is sadly proprietary. Even if FreeRTOS itself can’t meet that bar, though, the work wouldn’t have to start from scratch.
Someone I know recently switched from automatic bathroom lights to manual ones. Remembering to turn them on isn’t an issue, but months later everyone still forgets to turn them off.