DEFAULT_
PLATFORMS_
FILTER
DEFAULT_PLATFORMS_FILTER the default value
of the platforms filter