Having been through the whole 'It's time for layoffs' process at a company before, that kind of HR demographical information does get used