Sadly, this does not help people who just want to replace their Windows machines with Linux, or even more professional Linux users, who haven't even heard of this bug.

After all, most people stick to the defaults.

Also, the suckless community os one of the more toxic ones out there...