Scripts for maintaining public PCs at Jenkins.