Also those aren’t the kind of systems where you would “push an update”, so the commenter I was replying to I assume was referring to that. Which did cause a ton of groundings. But not due to FAA/ATC systems, rather due to windows boxes operated by the carrier’s personnel.