We might be getting a but pedantic about what “formal” meant at the time, but you would have had to be in that Apple culture circle to consider a button down formal. Seems normal today, but it was not back then in most parts of the world. Today I would agree that folks would already know the expectation.