/* Git does not want to add/create empty directories, and a missing NoTheme breaks the application. */