What's with this file? It got practically emptied, it seems to me. Why? What was it for?