Is FreeBSD still used to as great of an extent in US Government / Military / Intelligence as it used to be? There seemed to be some talk of Linux I noticed in

Is FreeBSD still used to as great of an extent in US Government / Military / Intelligence as it used to be? There seemed to be some talk of Linux I noticed in past years, and I’ve been thinking about trying to out again, but I’d feel better if I knew that it was still well-used.