They know to the extent of the applications they need to use, when accessing goverment sites, and if it doesn't work it is broken, from their point of view.

Having said this, the local library from my German city does run on GNU/Linux.