michael@0: [DEFAULT]
michael@0: support-files =
michael@0:   file_discardSystemSource.html
michael@0:   worker_discardSystemSource.js