Michaelmas Day,

one of the "Holidays at the Public Offices." See S22n1