Normally Google Chrome runs very poorly in Windows 10 when I'm using the WordPress Dashboard, but today the lag was gone in both Chrome and Microsoft Edge. Did recent updates fix something?
GNOME is not the default for Fedora Workstation — Christian F.K. Schaller https://blogs.gnome.org/uraeus/2020/05/07/gnome-is-not-the-default-for-fedora-workstation/
Grub security issue fixed in Debian https://www.debian.org/security/2020/dsa-4735