[olliej]

I do not recall seeing it, and I do recall looking for it explicitly. Which means even if it were there - which given this was the era in which they were removing stuff like this in order to win pentagon contracts seems completely plausible - it was not considered important enough to highlight or to put at the forefront of employee information.