Firefox was suddenly taking up a lot of CPU power showing nothing but a blank webpage, on all four computers. Closing and re-opening Firefox didn’t fix it, logging out and back in didn’t fix it, but rebooting the machines did.
Some google searching indicates that there was a problem with Firefox using a futex that got confused by the leap second, and getting into a loop.