This folder is here only to offer the main.css file that ghc-timings expects when running. ghc-timings is used to collect timing measures.