I was recently clearing space for my friend when we noticed that the private folder on her drive was 10gb. Turns out all that space was being taken up by the file "windowserver.log". What is this file? My computer's windowserver.log is only 4mb.... Is this a critical file, or is it just a log that can be deleted???