Accidentally add Bootlint to theme.config.